diff options
Diffstat (limited to 'ortho/mcode/Makefile')
| -rw-r--r-- | ortho/mcode/Makefile | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/ortho/mcode/Makefile b/ortho/mcode/Makefile new file mode 100644 index 0000000..cdec5c4 --- /dev/null +++ b/ortho/mcode/Makefile @@ -0,0 +1,32 @@ +ortho_srcdir=.. +GNAT_FLAGS=-gnaty3befhkmr -gnata -gnatf -gnatwlcru + +all: $(ortho_exec) + +$(ortho_exec): memsegs_c.o force + gnatmake -m -o $@ -g -aI$(ortho_srcdir)/mcode -aI$(ortho_srcdir) \ + $(GNAT_FLAGS) ortho_code_main -bargs -E -largs memsegs_c.o #-static + +memsegs_c.o: $(ortho_srcdir)/mcode/memsegs_c.c + $(CC) -c $(CFLAGS) -o $@ $< + +oread: force + gnatmake -m -o $@ -g $(GNAT_FLAGS) -aI../oread ortho_code_main -aI.. + +elfdump: force + gnatmake -m -g $(GNAT_FLAGS) $@ + +coffdump: force + gnatmake -m $(GNAT_FLAGS) $@ + +clean: + $(RM) -f *.o *.ali ortho_code_main elfdump + $(RM) b~*.ad? *~ + +distclean: clean + + +force: + +.PHONY: force all clean + |