blob: d9f0519e572f72691b76e15d2da9be8539b64d99 (
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
32
33
34
35
36
37
38
39
40
|
$NetBSD: patch-aa,v 1.2 2005/04/24 13:06:03 adrianp Exp $
--- Makefile.orig Sat Mar 12 16:17:58 2005
+++ Makefile
@@ -38,7 +38,7 @@ all:: strings.ml buildexecutable
all:: INSTALL
INSTALL: $(NAME)$(EXEC_EXT)
- ./$(NAME) -doc install > INSTALL
+## ./$(NAME) -doc install > INSTALL
########################################################################
## Miscellaneous developer-only switches
@@ -67,14 +67,12 @@ include Makefile.OCaml
######################################################################
# 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
######################################################################
@@ -352,7 +350,7 @@ testmerge:
tags:
-$(ETAGS) *.mli */*.mli *.ml */*.ml *.m */*.m *.c */*.c *.txt
-all:: TAGS
+# all:: TAGS
TAGS:
$(MAKE) tags
|
