27 lines
862 B
Text
27 lines
862 B
Text
--- Makefile.orig Tue Aug 28 16:27:01 2001
|
|
+++ Makefile Wed Aug 29 09:15:09 2001
|
|
@@ -62,12 +62,12 @@
|
|
######################################################################
|
|
# Installation
|
|
|
|
-INSTALLDIR = $(HOME)/bin/
|
|
+INSTALLDIR = ${PREFIX}/bin/
|
|
|
|
install: $(NAME)$(EXEC_EXT)
|
|
- -mv $(INSTALLDIR)/$(NAME)$(EXEC_EXT) /tmp/$(NAME)-$(shell echo $$$$)
|
|
+# -mv $(INSTALLDIR)/$(NAME)$(EXEC_EXT) /tmp/$(NAME)-$(shell echo $$$$)
|
|
cp $(NAME)$(EXEC_EXT) $(INSTALLDIR)
|
|
- cp $(NAME)$(EXEC_EXT) $(INSTALLDIR)$(NAME)-$(VERSION)$(EXEC_EXT)
|
|
+# cp $(NAME)$(EXEC_EXT) $(INSTALLDIR)$(NAME)-$(VERSION)$(EXEC_EXT)
|
|
@# If we're running at Penn, install a public version too
|
|
if [ -d /plclub/bin ]; then cp $(NAME)$(EXEC_EXT) /plclub/bin/$(NAME)-$(VERSION)$(EXEC_EXT); fi
|
|
|
|
@@ -231,7 +231,7 @@
|
|
tags:
|
|
-$(ETAGS) *.ml *.mli *.txt
|
|
|
|
-all:: TAGS
|
|
+#all:: TAGS
|
|
|
|
TAGS:
|
|
$(MAKE) tags
|