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

[makefile] libpprz: remove double cmi target

Browse Source
This commit is contained in:
Felix Ruess
2013-03-21 17:46:53 +01:00
parent 77cd732702
commit 0f70beafc4
1 changed files with 2 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/lib/ocaml/Makefile
+2 -6
View File
@@ -126,10 +126,6 @@ caml_from_c_example : cserial.o convert.o caml_from_c_example.o camltm.o
@echo OC $<
$(Q)$(OCAMLC) $(XINCLUDES) $(INCLUDES) -package $(PKGCOMMON),$(XPKGCOMMON) $<
%.cmi : %.ml
@echo OC $<
$(Q)$(OCAMLC) $(XINCLUDES) -package $(PKGCOMMON) -c $<
%.ml : %.mll
@echo OCL $<
$(Q)$(OCAMLLEX) $<
@@ -138,8 +134,8 @@ caml_from_c_example : cserial.o convert.o caml_from_c_example.o camltm.o
@echo OCY $<
$(Q)$(OCAMLYACC) $<
# these deps *should* be generated correctly by ocamldep
# somehow this is not the case for all
# dependencies not covered by ocamldep
# since these files are generated
expr_parser.cmo expr_parser.cmx : expr_parser.cmi expr_syntax.cmi
expr_parser.cmi : expr_parser.ml expr_syntax.cmi
expr_lexer.ml : expr_parser.ml