Ticket #3770: patch-Makefile.diff
File patch-Makefile.diff, 1.0 KB (added by benwill@…, 19 years ago) |
---|
-
patch-Makefile
old new 1 --- Makefile.orig 200 4-09-07 04:15:46.000000000 +09002 +++ Makefile 2005-0 5-20 17:00:59.000000000 +09003 @@ -6 0,14 +60,12 @@1 --- Makefile.orig 2005-03-12 08:17:58.000000000 -0800 2 +++ Makefile 2005-06-29 17:21:56.000000000 -0700 3 @@ -67,14 +67,12 @@ 4 4 ###################################################################### 5 5 # Installation 6 6 … … 10 10 +.PHONY: install 11 11 install: $(NAME)$(EXEC_EXT) 12 12 - -mv $(INSTALLDIR)/$(NAME)$(EXEC_EXT) /tmp/$(NAME)-$(shell echo $$$$) 13 13 - cp $(NAME)$(EXEC_EXT) $(INSTALLDIR) 14 14 cp $(NAME)$(EXEC_EXT) $(INSTALLDIR)$(NAME)-$(VERSION)$(EXEC_EXT) 15 15 - @# If we're running at Penn, install a public version too 16 16 - if [ -d /plclub/bin ]; then cp $(NAME)$(EXEC_EXT) /plclub/bin/$(NAME)-$(VERSION)$(EXEC_EXT); fi 17 + ln -s $(NAME)-$(VERSION)$(EXEC_EXT) $(INSTALLDIR)$(NAME)$(EXEC_EXT) 17 18 18 19 19 20 ######################################################################