2 ADAFLAGS
:= -Wall
-Wextra
-gnatw.eH.Y
-gnatySdouxy
-gnatVa
-g
-gnataEfoqQ \
6 # -O3 is not recommended as the default by the GCC documentation,
7 # and -O2 seems to produce slightly better performances.
8 ADAFLAGS
:= -O2
-gnatnp
14 LARGS
= $(LDFLAGS
) -lreadline
17 step13
:= step1_read_print \
20 step49
:= step4_if_fn_do \
27 steps
:= $(step0
) $(step13
) $(step49
) $(stepa
)
32 $(RM
) *~
*.adt
*.ali
*.o b~
*.ad
[bs
] gmon.out
$(steps
)
34 # Tell Make how to detect out-of-date executables, and let gnatmake do
35 # the rest when it must be executed.
36 sources
= $(foreach unit
,$1,$(unit
).adb
$(unit
).ads
)
37 TYPES
:= $(call sources
,\
52 CORE
:= $(call sources
,\
57 $(step13
): %: %.adb
$(TYPES
)
58 $(step49
): %: %.adb
$(TYPES
) $(CORE
)
59 $(stepa
) : stepA
%: stepa
%.adb
$(TYPES
) $(CORE
)
61 gnatmake
$< -o
$@
-cargs
$(CARGS
) -largs
$(LARGS
)
65 diff
-u step0_
*.adb step1_
*.adb || true
66 diff
-u step1_
*.adb step2_
*.adb || true
67 diff
-u step2_
*.adb step3_
*.adb || true
68 diff
-u step3_
*.adb step4_
*.adb || true
69 diff
-u step4_
*.adb step5_
*.adb || true
70 diff
-u step5_
*.adb step6_
*.adb || true
71 diff
-u step6_
*.adb step7_
*.adb || true
72 diff
-u step7_
*.adb step8_
*.adb || true
73 diff
-u step8_
*.adb step9_
*.adb || true
74 diff
-u step9_
*.adb stepa_
*.adb || true