33 lines
1.2 KiB
Text
33 lines
1.2 KiB
Text
|
--- 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
|