]> matita.cs.unibo.it Git - helm.git/commitdiff
Distribution improvements.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 15 Nov 2001 12:37:05 +0000 (12:37 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 15 Nov 2001 12:37:05 +0000 (12:37 +0000)
helm/DEVEL/lablgtkmathview/.cvsignore
helm/DEVEL/lablgtkmathview/META.in [new file with mode: 0644]
helm/DEVEL/lablgtkmathview/Makefile.in
helm/DEVEL/lablgtkmathview/test/Makefile.in [new file with mode: 0644]

index 801e3763489fbb3576de9791f647a4503e14fed8..7f6b239a986222786db77bf035541ee64d6b825d 100644 (file)
@@ -1,3 +1,4 @@
 *.cmi *.cmo *.cmx *.cma *.cmxa config.make config.cache config.log configure
 Makefile
 config.status
+META
diff --git a/helm/DEVEL/lablgtkmathview/META.in b/helm/DEVEL/lablgtkmathview/META.in
new file mode 100644 (file)
index 0000000..ef5298f
--- /dev/null
@@ -0,0 +1,5 @@
+requires="mlminidom lablgtk"
+version="@VERSION@"
+archive(byte)="lablgtkmathview.cma ml_gtk_mathview.o"
+archive(native)="lablgtkmathview.cmxa ml_gtk_mathview.o"
+linkopts=""
index e2fcf1965264204e16daf5f31f977ed4a6f03c3c..3dc357ea6f34eaf47b481add0e50dfb91dfddb11 100644 (file)
@@ -88,8 +88,9 @@ uninstall:
 
 clean:
        rm -f *.o *.cm? $(ARCHIVE) $(ARCHIVE_C) $(ARCHIVE_OPT)
-       cd test ; make clean
+       cd $(TESTDIR) ; make clean
        rm -rf $(TMPDIR)
 
 distclean: clean
        rm -f config.log config.cache config.status Makefile META lablgtkmathview.spec
+       cd $(TESTDIR) ; make distclean
diff --git a/helm/DEVEL/lablgtkmathview/test/Makefile.in b/helm/DEVEL/lablgtkmathview/test/Makefile.in
new file mode 100644 (file)
index 0000000..30f41c4
--- /dev/null
@@ -0,0 +1,20 @@
+PACKAGE = @PACKAGE@
+MLFLAGS =
+OCAMLC = ocamlfind ocamlc $(MLFLAGS)
+OCAMLOPT = ocamlfind ocamlopt $(MLFLAGS)
+TMPDIR = .test
+
+all: test
+opt: test.opt
+
+test: test.ml
+       $(OCAMLC) -package "$(PACKAGE)" -linkpkg -predicates "" -o $@ test.ml
+
+test.opt: test.ml
+       $(OCAMLOPT) -package "$(PACKAGE)" -linkpkg -predicates "" -o $@ test.ml
+
+clean:
+       rm -f *.cm[iox] *.o test test.opt t1lib.log test.ps
+
+distclean:
+       rm Makefile