added a library make target

squaresLab · May 23, 2012 · 6868ac8 · 6868ac8
1 parent 193e501
commit 6868ac8
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -2,7 +2,7 @@
 
 # see src/Makefile for more information
 
-all: doc code
+all: doc code lib
 
 .PHONY: clean doc test
 
@@ -12,6 +12,9 @@ doc:
 code:
 	$(MAKE) -C src/ $(MAKECMDGOALS)
 
+lib:
+	$(MAKE) -C src/ $(MAKECMDGOALS)
+
 clean:
 	$(MAKE) -C src/ $(MAKECMDGOALS);	\
 	$(MAKE) -C test/ $(MAKECMDGOALS)

diff --git a/obj/.gitignore b/obj/.gitignore
@@ -0,0 +1,2 @@
+*
+!.gitignore
diff --git a/src/Makefile b/src/Makefile
@@ -79,6 +79,11 @@ REPAIR_MODULES = \
   network.cmo \
   main.cmo
 
+../obj/genprog.cmx: $(REPAIR_MODULES:.cmo=.cmx)
+	$(OCAMLOPT) -a -o $@ $^ -cclib -l_elf_stubs $(ELF_OPTS_OCAML)
+
+lib: ../obj/genprog.cmx
+
 repair: $(REPAIR_MODULES:.cmo=.cmx) 
 	$(OCAMLOPT) -o $@ bigarray.cmxa unix.cmxa str.cmxa nums.cmxa cil.cmxa $^ -cclib -l_elf_stubs $(ELF_OPTS_OCAML)