]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/xsltd/Makefile.in
ocaml 3.09 transition
[helm.git] / helm / xsltd / Makefile.in
index 5ddfce9681693b43f164a6fde90726e66b21c5f3..1d43f9c189c9a0210676aef3001c5a0beff8deac 100644 (file)
@@ -1,13 +1,16 @@
+
+BIN_DIR=@BIN_DIR@
 HELM_LIB_DIR=@HELM_LIB_DIR@
-HELM_BIN_DIR=@HELM_BIN_DIR@
+
+all:
 
 install:
-       cp xaland.class $HELM_LIB_DIR
-       cp start-xaland $HELM_BIN_DIR
+       cp start-xaland $(BIN_DIR)
+       cp xaland.class $(HELM_LIB_DIR)
 
 distclean:
        rm -f Makefile configure config.log config.cache config.status \
         etc/configuration.xml etc/helm-math-engine-configuration.xml \
-        lib/configuration.pl
+        lib/configuration.pl *.spec start-xaland
 
-.PHONY: install distclean
+.PHONY: all install distclean