]> matita.cs.unibo.it Git - helm.git/commitdiff
- switched to automake based built
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 11:08:51 +0000 (11:08 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Dec 2002 11:08:51 +0000 (11:08 +0000)
helm/DEVEL/gdome_xslt/ocaml/test/.cvsignore
helm/DEVEL/gdome_xslt/ocaml/test/META.gdome2-xslt [deleted file]
helm/DEVEL/gdome_xslt/ocaml/test/Makefile.am [new file with mode: 0644]

index 6deb7349fc6f02d8450fc25bf85468f13ffeb3a0..fb5d24d4f02f2f13ca62fc80fe1b21a9f86333cb 100644 (file)
@@ -4,3 +4,5 @@ test.cmx
 test.o
 test
 test.opt
+Makefile
+Makefile.in
diff --git a/helm/DEVEL/gdome_xslt/ocaml/test/META.gdome2-xslt b/helm/DEVEL/gdome_xslt/ocaml/test/META.gdome2-xslt
deleted file mode 100644 (file)
index 42d1f73..0000000
+++ /dev/null
@@ -1,6 +0,0 @@
-requires="gdome2"
-version="0.0.3"
-archive(byte)="gdome_xslt_init.cmo gdome2-xslt.cma"
-archive(native)="gdome_xslt_init.cmx gdome2-xslt.cmxa"
-linkopts=""
-directory="../gdome_xslt"
diff --git a/helm/DEVEL/gdome_xslt/ocaml/test/Makefile.am b/helm/DEVEL/gdome_xslt/ocaml/test/Makefile.am
new file mode 100644 (file)
index 0000000..44f2658
--- /dev/null
@@ -0,0 +1,24 @@
+REQUIRES = gdome2
+OCAMLFIND = @OCAMLFIND@
+OCAMLC = $(OCAMLFIND) @OCAMLC@ -package "$(REQUIRES)"
+OCAMLOPT = $(OCAMLFIND) @OCAMLOPT@ -package "$(REQUIRES)"
+CMA = ../gdome_xslt/mlgdome2-xslt.cma
+CMXA = ../gdome_xslt/mlgdome2-xslt.cmxa
+INIT_CMO = ../gdome_xslt/gdome_xslt_init.cmo
+INIT_CMX = ../gdome_xslt/gdome_xslt_init.cmx
+INCLUDES = -I ../gdome_xslt/
+
+EXTRA_DIST = test.ml
+CLEANFILES = test{,.o,.opt} test.cm[iox]
+
+if HAVE_OCAMLOPT_COND
+noinst_DATA = test.opt test
+else
+noinst_DATA = test
+endif
+
+test: test.ml $(CMA) $(INIT_CMO)
+       $(OCAMLC) -o $@ -linkpkg $(INCLUDES) $(CMA) $(INIT_CMO) $<
+test.opt: test.ml $(CMXA) $(INIT_CMX)
+       $(OCAMLOPT) -o $@ -linkpkg $(INCLUDES) $(CMXA) $(INIT_CMX) $<
+