X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fsoftware%2FDEVEL%2Fgdome_xslt%2Focaml%2Fgdome_xslt%2FMakefile.am;fp=helm%2Fsoftware%2FDEVEL%2Fgdome_xslt%2Focaml%2Fgdome_xslt%2FMakefile.am;h=4da9bef886c84e9faa14755cad08202ea1149406;hb=d43522a6d38fcb9081a3f0352088377bc0555231;hp=0000000000000000000000000000000000000000;hpb=9a9c95ebabbb1d4d7dce627ed1baea130ea98766;p=helm.git

diff --git a/helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am b/helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am
new file mode 100644
index 000000000..4da9bef88
--- /dev/null
+++ b/helm/software/DEVEL/gdome_xslt/ocaml/gdome_xslt/Makefile.am
@@ -0,0 +1,114 @@
+
+ARCHIVE = mlgdome2-xslt
+PKGNAME = gdome2-xslt
+OCAMLINSTALLDIR = $(DESTDIR)$(OCAMLSTDLIBDIR)/$(PKGNAME)
+STUBSDIR = $(DESTDIR)$(OCAMLSTUBDIR)
+OCAMLFLAGS = -I +gdome2
+OCAMLC = @OCAMLC@ ${OCAMLFLAGS}
+OCAMLOPT = @OCAMLOPT@ ${OCAMLFLAGS}
+OCAMLDEP = @OCAMLDEP@
+OCAML_CFLAGS  = @OCAML_CFLAGS@
+OCAMLFIND = @OCAMLFIND@
+OCAMLMKLIB = ocamlmklib
+DLL = dll$(ARCHIVE).so
+
+BUILT_SOURCES = x_gdome_xslt.c
+
+CLEANFILES = \
+  $(ARCHIVE).cma $(ARCHIVE).cmxa $(ARCHIVE).a lib$(ARCHIVE).a $(DLL)	\
+  *.cmo *.cmx *.cmi $(BUILT_SOURCES)
+
+EXTRA_DIST =	\
+	META.in .depend	\
+	gdome_xslt.ml gdome_xslt.mli gdome_xslt_init.ml gdome_xslt_init.mli	\
+	i_gdome_xslt.ml	\
+	ocaml-io.h
+
+if HAVE_OCAMLOPT_COND
+noinst_DATA =	\
+	$(ARCHIVE).cma $(DLL) $(ARCHIVE).cmxa $(ARCHIVE).a lib$(ARCHIVE).a	\
+	gdome_xslt_init.cmo gdome_xslt_init.cmx
+else
+noinst_DATA =	\
+	$(ARCHIVE).cma $(DLL) gdome_xslt_init.cmo lib$(ARCHIVE).a
+endif
+
+noinst_LTLIBRARIES = libmlgdome2-xslt.la
+C_SRC = ml_gdome_xslt.c x_gdome_xslt.c 
+libmlgdome2_xslt_la_SOURCES = $(C_SRC)
+
+O_S = $(C_SRC:%.c=.libs/%.o)
+LO_S = $(O_S:%.o=%.lo)
+CMA_DEPS = i_gdome_xslt.cmo gdome_xslt.cmo
+CMXA_DEPS = $(CMA_DEPS:%.cmo=%.cmx)
+SHARED_LIBS = $(LIBXSLT_LIBS) $(GDOME_LIBS)
+
+x_gdome_xslt.c: $(top_srcdir)/C/gdome_xslt/gdome_xslt.c
+	cp $< $@
+
+$(ARCHIVE).cma: $(CMA_DEPS)
+	$(OCAMLMKLIB) -o $(ARCHIVE) $^ $(SHARED_LIBS)
+$(ARCHIVE).cmxa: $(CMXA_DEPS)
+	$(OCAMLMKLIB) -o $(ARCHIVE) $^ $(SHARED_LIBS)
+lib$(ARCHIVE).a $(DLL): $(O_S)
+	$(OCAMLMKLIB) -o $(ARCHIVE) $^ $(SHARED_LIBS)
+
+INCLUDES = $(GDOME_CFLAGS) $(MLGDOME_CFLAGS) -I/usr/include/caml -I$(top_srcdir)/C/gdome_xslt
+
+BYTECODE_STUFF =	\
+	$(ARCHIVE).cma $(DLL) i_gdome_xslt.cmi i_gdome_xslt.ml gdome_xslt.cmi	\
+	gdome_xslt.mli gdome_xslt_init.cmi gdome_xslt_init.mli gdome_xslt_init.cmo	\
+	lib$(ARCHIVE).a
+NATIVECODE_STUFF =	\
+	$(ARCHIVE).cmxa $(ARCHIVE).a gdome_xslt_init.cmx gdome_xslt_init.o
+if HAVE_OCAMLOPT_COND
+install-data-local: $(BYTECODE_STUFF) $(NATIVECODE_STUFF)
+else
+install-data-local: $(BYTECODE_STUFF)
+endif
+	$(mkinstalldirs) $(OCAMLINSTALLDIR) $(STUBSDIR)
+	chmod -x $(DLL)
+	for i in $^; do \
+		if [ "$$i" != "$(DLL)" ]; then	\
+			$(INSTALL_DATA) $$i $(OCAMLINSTALLDIR)/$$i; \
+		fi	\
+	done
+	if [ "x$(OCAMLFIND)" != "x" ]; then \
+		mv $(OCAMLINSTALLDIR) $(OCAMLINSTALLDIR).saved;	\
+		$(OCAMLFIND) install -destdir $(DESTDIR)$(OCAMLSTDLIBDIR)/ $(PKGNAME) META $(DLL); \
+		$(INSTALL_DATA) $(OCAMLINSTALLDIR).saved/* $(OCAMLINSTALLDIR)/;	\
+		rm -rf $(OCAMLINSTALLDIR).saved/;	\
+	else	\
+		$(INSTALL_DATA) $(DLL) $(STUBSDIR);	\
+	fi
+
+uninstall-local:
+	if [ "x$(OCAMLFIND)" != "x" ]; then	\
+	  $(OCAMLFIND) remove -destdir $(DESTDIR)$(OCAMLSTDLIBDIR)/ $(PKGNAME);	\
+	else	\
+		rm -rf $(OCAMLINSTALLDIR);	\
+		rm $(STUBSDIR)/$(DLL);	\
+	fi
+	rm $(STUBSDIR)/lib$(ARCHIVE).so
+
+#### OCaml only stuff from now on
+
+DEPOBJS = *.ml *.mli
+
+depend:
+	$(OCAMLDEP) $(DEPOBJS) > .depend
+
+%.cmi : $(srcdir)/%.mli
+	if test ! -e $(@:%.cmi=%.mli) -a "x$(srcdir)" != "x." ; then $(LN_S) $< . ; fi
+	$(OCAMLC) -c $(@:%.cmi=%.mli)
+
+%.cmo : $(srcdir)/%.ml
+	if test ! -e $(@:%.cmo=%.ml) -a "x$(srcdir)" != "x." ; then $(LN_S) $< . ; fi
+	$(OCAMLC) -c $(@:%.cmo=%.ml)
+
+%.cmx %.o : $(srcdir)/%.ml
+	if test ! -e $(@:%.cmx=%.ml) -a "x$(srcdir)" != "x." ; then $(LN_S) $< . ; fi
+	$(OCAMLOPT) -c $(@:%.cmx=%.ml)
+
+include .depend
+