[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: makefile uninstall somewhat aggressive?
From: |
Hugh Sasse |
Subject: |
Re: makefile uninstall somewhat aggressive? |
Date: |
Mon, 6 Mar 2006 10:19:34 +0000 (WET) |
On Mon, 6 Mar 2006, Hugh Sasse wrote:
> On Sat, 4 Mar 2006, Jeff Kingston wrote:
>
> > Is there a problem with the current arrangement? I would prefer
> > that LIBDIR be always installed and uninstalled as a unit, to
> > ensure consistency between its various parts.
>
> Conventionally among GNU stuff LIBDIR is /usr/local/lib, and
> if anyone installed it there, they'd be rather shocked after an
> uninstall.
I've thought of another solution that avoids assumptions about GNUishness.
--- makefile 2005-08-24 00:45:25.000000000 +0100
+++ makefile.new2 2006-03-06 10:17:25.992908000 +0000
@@ -67,11 +67,14 @@
# assumed to exist. #
# #
# LIBDIR Directory where Lout's libraries go. This directory will #
-# be created (but its parent must exist already). #
+# be created (but its parent must exist already). It must #
+# NOT exist already: it will be removed during #
+# `make uninstall` #
# #
# DOCDIR Directory where the documents describing the Lout system #
# (written in Lout) go. This directory will be created (but #
-# its parent must exist already). #
+# its parent must exist already). It must NOT exist already: #
+# it will be removed during `make uninstall` #
# #
# MANDIR Directory where the lout and prg2lout online manual entries #
# (in nroff -man) go. This directory is assumed to exist. #
@@ -342,7 +345,7 @@
chmod 755 $(BINDIR)/prg2lout
@echo ""
@echo "(b) Installing library files into LIBDIR $(LIBDIR)"
- mkdir $(LIBDIR)
+ mkdir $(LIBDIR) || echo $(LIBDIR) already exists && exit -1
chmod 755 $(LIBDIR)
@echo ""
mkdir $(LIBDIR)/$(LIBINCL)
@@ -393,6 +396,7 @@
installdoc:
@echo ""
@echo "Creating DOCDIR $(DOCDIR) and copying documentation into it"
+ test -d $(DOCDIR) && echo $(DOCDIR) already exists && exit -1
$(RCOPY) doc $(DOCDIR)
chmod 755 $(DOCDIR)
chmod 755 $(DOCDIR)/*
> >
> > Jeff Kingston
> >
>
> Hugh
>
Re: makefile uninstall somewhat aggressive?, Jeff Kingston, 2006/03/06
Re: makefile uninstall somewhat aggressive?, Jeff Kingston, 2006/03/07