f92095b090
which works both on local disks and over a network (can use ssh). PR: 22264 Submitted by: Dan Pelleg <dpelleg+unison@cs.cmu.edu>
28 lines
779 B
Plaintext
28 lines
779 B
Plaintext
--- 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
|