diff options
Diffstat (limited to 'lang/adacontrol/files')
| -rw-r--r-- | lang/adacontrol/files/patch-src_Makefile | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/lang/adacontrol/files/patch-src_Makefile b/lang/adacontrol/files/patch-src_Makefile deleted file mode 100644 index e5796c9060c4..000000000000 --- a/lang/adacontrol/files/patch-src_Makefile +++ /dev/null @@ -1,32 +0,0 @@ ---- src/Makefile.orig 2013-07-09 13:33:01.000000000 +0000 -+++ src/Makefile -@@ -2,7 +2,7 @@ - # Set PATH to ASIS library below (default corresponds to the case where you - # installed ASIS in the Gnat directory) - --ASIS_TOP = /usr/gnat/ -+ASIS_TOP = ${PREFIX} - - ############################################################################### - # Depending on your version of ASIS, the ASIS directory may be split into -@@ -22,6 +22,10 @@ ASIS_INCLUDE = ${ASIS_TOP}/include/asis - ASIS_OBJ = ${ASIS_TOP}/lib/asis - ASIS_LIB = ${ASIS_TOP}/lib/asis - -+GU_INCLUDE = ${ASIS_TOP}/include/gnat_util -+GU_OBJ = ${ASIS_TOP}/lib/gnat_util -+GU_LIB = ${ASIS_TOP}/lib/gnat_util -+ - ############################################################################### - # SYSTEM COMMANDS (do not change) - -@@ -48,7 +52,8 @@ EXT = ${UNIX_EXT} - GARGS = -gnatf -gnatwa -aI${ASIS_INCLUDE} -aO${ASIS_OBJ} -g - CARGS = -cargs -O2 -gnatWh -gnat05 -gnato - BARGS = -bargs -E --LARGS = -largs -L${ASIS_LIB} -lasis -+LARGS = -largs -L${ASIS_LIB} -lasis -L${GU_LIB} -lgnat_util -+GARGS+= -aI${GU_INCLUDE} -aO${GU_OBJ} - - # Uncomment the following line if you are running GnatPro 6.1.2 or above - #CARGS_EXTRA = ${CARGS} -fno-tree-vrp |