blob: a14c18bfa9722e8657e288d12af7880373ba2bff (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
--- 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
|
