From 36c5fdfc80152998cbca73103e8821d9013e0331 Mon Sep 17 00:00:00 2001 From: Allen Ibara Date: Tue, 14 Sep 2010 21:31:10 +0000 Subject: [PATCH] Revert previous change, broken --- sw/lib/ocaml/Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/sw/lib/ocaml/Makefile b/sw/lib/ocaml/Makefile index afd2569949..ac8abaad82 100644 --- a/sw/lib/ocaml/Makefile +++ b/sw/lib/ocaml/Makefile @@ -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 $^