X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fmathml_editor%2Focaml%2FMakefile.am;h=28982ba252f99ec12db4252d9147cd562bf7c528;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=b72205ac71ab48c75a09067441d6331b1c2a039c;hpb=789a37bedf2a8ce2a0b4389fb5c48a0a7b6572d6;p=helm.git diff --git a/helm/DEVEL/mathml_editor/ocaml/Makefile.am b/helm/DEVEL/mathml_editor/ocaml/Makefile.am index b72205ac7..28982ba25 100644 --- a/helm/DEVEL/mathml_editor/ocaml/Makefile.am +++ b/helm/DEVEL/mathml_editor/ocaml/Makefile.am @@ -21,7 +21,7 @@ INIT = CMI_S = $(MODULES:%=%.cmi) CMO_S = $(MODULES:%=%.cmo) CMX_S = $(MODULES:%=%.cmx) -O_S = .libs/ml_mathml_editor.o .libs/c_mathml_editor.o +O_S = ml_mathml_editor.o c_mathml_editor.o LO_S = $(O_S:%.o=%.lo) SHARED_LIBS = $(GMETADOM_LIBS) $(GDOMEXSLT_LIBS) -lmlgdome2-xslt -lmlgdome -lstdc++ -L$(top_builddir)/src/.libs/ -leditex BYTE_STUFF = i_mathml_editor.cmi mathml_editor.cmi $(ARCHIVE).cma $(DLL) lib$(ARCHIVE).a @@ -70,7 +70,7 @@ $(ARCHIVE).cmxa: $(CMX_S) $(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(CMX_S) $(SHARED_LIBS) $(DLL) $(ARCHIVE).a: $(O_S) - $(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(SHARED_LIBS) $(O_S) + $(OCAMLMKLIB) -o $(ARCHIVE) -L@OCAMLSTUBDIR@ $(SHARED_LIBS) $(O_S:%.o=.libs/%.o) %.cmi: %.mli $(OCAMLC) -c $<