mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-05-21 11:55:41 +08:00
*** empty log message ***
This commit is contained in:
@@ -45,7 +45,7 @@ receive : modem.cmo receive.ml
|
||||
chmod a+x $@
|
||||
|
||||
listen.opt : listen.ml
|
||||
$(OCAMLOPT) $(INCLUDES) -o $@ str.cmxa unix.cmxa xml-light.cmxa glibivy-ocaml.cmxa -I +lablgtk2 lablgtk.cmxa lib.cmxa $^
|
||||
$(OCAMLOPT) $(INCLUDES) -o $@ str.cmxa unix.cmxa xml-light.cmxa glibivy-ocaml.cmxa -I +lablgtk2 lablgtk.cmxa lib-pprz.cmxa $^
|
||||
strip $@
|
||||
|
||||
|
||||
|
||||
@@ -34,7 +34,7 @@ XCMO = $(XSRC:.ml=.cmo)
|
||||
XCMX = $(XSRC:.ml=.cmx)
|
||||
|
||||
|
||||
all : lib-pprz.cma xlib-pprz.cma xml_get.out
|
||||
all : lib-pprz.cma xlib-pprz.cma xml_get.out lib-pprz.cmxa
|
||||
# lib-pprz.cmxa xlib-pprz.cmxa
|
||||
|
||||
|
||||
|
||||
Reference in New Issue
Block a user