blob: 88be2a4d1bfcdfe95264ed333c0dc15a5117ab08 (
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
28
29
30
31
|
$NetBSD: patch-aa,v 1.1.1.1 2004/01/27 10:56:57 jlam Exp $
--- Makefile.orig Mon Aug 19 17:15:04 2002
+++ Makefile Tue Jan 27 05:50:28 2004
@@ -65,14 +65,12 @@
######################################################################
# Installation
-INSTALLDIR = $(HOME)/bin/
+INSTALLDIR = $(PREFIX)/bin/
install: $(NAME)$(EXEC_EXT)
- -mv $(INSTALLDIR)/$(NAME)$(EXEC_EXT) /tmp/$(NAME)-$(shell echo $$$$)
cp $(NAME)$(EXEC_EXT) $(INSTALLDIR)
- 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
+#HF# @# If we're running at Penn, install a public version too
+#HF# if [ -d /plclub/bin ]; then cp $(NAME)$(EXEC_EXT) /plclub/bin/$(NAME)-$(VERSION)$(EXEC_EXT); fi
######################################################################
@@ -234,7 +232,7 @@
tags:
-$(ETAGS) *.mli */*.mli *.ml */*.ml *.txt
-all:: TAGS
+# all:: TAGS
TAGS:
$(MAKE) tags
|
