blob: 6c45ce1d18b1052a69c6ac62a0f1ec3702883345 (
plain) (
blame)
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 Mon Sep 25 19:04:31 2000
+++ Makefile Wed Oct 25 20:48:53 2000
@@ -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)
######################################################################
# Demo
@@ -204,7 +204,7 @@
tags:
-$(ETAGS) *.ml *.mli
-all:: TAGS
+# all:: TAGS
TAGS:
$(MAKE) tags
|
