...

[helm.git] / helm / interface / Makefile.in

diff --git a/helm/interface/Makefile.in b/helm/interface/Makefile.in
index cb833fcc74cca8789e3ea5e7e057c34f16663d7f..453d58b06fbf3963822d5093965a12ba1f3d45b6 100644 (file)
--- a/helm/interface/Makefile.in
+++ b/helm/interface/Makefile.in
@@ -1,4 +1,6 @@
-OCAML_ROOT = /usr/lib/ocaml
+OCAML_ROOT = @OCAML_ROOT@
+HELM_BIN_DIR = @HELM_BIN_DIR@
+
 LABLGTK_DIR = $(OCAML_ROOT)/lablgtk
 LABLGTK_MATHVIEW_DIR = $(OCAML_ROOT)/lablgtk/mathview
 MINIDOM_DIR = $(OCAML_ROOT)/minidom
@@ -172,4 +174,15 @@ clean:
            reduction.opt fix_params fix_params.opt mmlinterface \
            mmlinterface.opt mmlinterface2 mmlinterface2.opt
 
+install:
+       cp experiment reduction fix_params mmlinterface \
+         experiment.opt reduction.opt fix_params.opt mmlinterface.opt \
+         $(HELM_BIN_DIR)
+
+distclean:
+       rm -f Makefile configuration.ml configure config.log config.cache \
+         config.status
+
+.PHONY: install distclean clean
+
 include .depend