Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-10 06:59:54 +08:00
Code Issues Actions 25 Packages Projects Releases Wiki Activity

Revert previous change, broken

Browse Source
This commit is contained in:
Allen Ibara
2010-09-14 21:31:10 +00:00
parent a0e718775f
commit 36c5fdfc80
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/lib/ocaml/Makefile
+4 -4
View File
@@ -48,19 +48,19 @@ all : lib-pprz.cma xlib-pprz.cma myGtkInit.cmo xml_get.out opt
opt : lib-pprz.cmxa xlib-pprz.cmxa
lib-pprz.cma : $(SRC) $(CMO)
lib-pprz.cma : $(CMO)
@echo OL $@
$(Q)ocamlmklib $(INCLUDES) -o lib-pprz $^
lib-pprz.cmxa : $(SRC) $(CMX)
lib-pprz.cmxa : $(CMX)
@echo OOL $@
$(Q)ocamlmklib $(INCLUDES) -o lib-pprz $^
xlib-pprz.cma : $(XSRC) $(XCMO)
xlib-pprz.cma : $(XCMO)
@echo OL $@
$(Q)ocamlmklib $(XINCLUDES) -o xlib-pprz $^
xlib-pprz.cmxa : $(XSRC) $(XCMX)
xlib-pprz.cmxa : $(XCMX)
@echo OOL $@
$(Q)ocamlmklib $(XINCLUDES) -o xlib-pprz $^