Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-22 20:36:06 +08:00
Code Issues Actions 26 Packages Projects Releases Wiki Activity

[makefile] minor improvements for lib/ocaml

Browse Source 
- separate targets for byte and native libs
- replace copyMETA target with META.pprz so it doesn't get copied every time
This commit is contained in:
Felix Ruess
2013-03-29 20:07:48 +01:00
parent f33617510c
commit cbda7ee819
1 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/lib/ocaml/Makefile
+6 -5
View File
@@ -70,8 +70,9 @@ XCMX = $(XSRC:.ml=.cmx)
TESTS_SRC = test/test_latlong.ml
TESTS_CMO = $(TESTS_SRC:.ml=.cmo)
all : lib-pprz.cma xlib-pprz.cma myGtkInit.cmo xml_get.out opt
opt : lib-pprz.cmxa xlib-pprz.cmxa copyMETA
all : byte native
byte : lib-pprz.cma xlib-pprz.cma myGtkInit.cmo xml_get.out META.pprz
native : lib-pprz.cmxa xlib-pprz.cmxa META.pprz
lib-pprz.cma liblib-pprz.a: $(CMO)
@@ -96,7 +97,7 @@ lib-pprz.cmxa: | liblib-pprz.a dlllib-pprz.so
xlib-pprz.cmxa: | libxlib-pprz.a dllxlib-pprz.so
xml_get.out : lib-pprz.cma xml_get.cmo | opt
xml_get.out : lib-pprz.cma xml_get.cmo
@echo OL $@
$(Q)$(OCAMLC) $(INCLUDES) -o $@ -package str,xml-light -linkpkg -I . $^
@@ -182,14 +183,14 @@ gtk_papget_led_editor.ml : widgets.glade
$(Q)$(Q)lablgladecc2 -root table_led_editor -hide-default $($@_TMP) | grep -B 1000000 " end" > $@
$(Q)rm -f $($@_TMP)
copyMETA : $(METAFILE)
META.pprz : $(METAFILE)
@echo COPY $<
$(shell cp $< META.pprz)
clean :
$(Q)rm -f *~ *.cm* *.out *.opt .depend *.a *.o *.so caml_from_c_example tests gtk_papget_*.ml expr_parser.ml expr_parser.mli expr_lexer.ml expr_lexer.mli META.pprz
.PHONY: all opt clean
.PHONY: all byte native clean
#
# Dependencies