# HG changeset patch # User Rik # Date 1260479365 28800 # Node ID 9bd50882cd1c21d861772342b777e500c1772acc # Parent dbbec33d14f8cea25dad333afeda7ca7c44c0bd1 new distdir-local rule stops package distribution unless libraries necessary to create documentation are present. diff -r dbbec33d14f8 -r 9bd50882cd1c doc/ChangeLog --- a/doc/ChangeLog Thu Dec 10 12:26:12 2009 -0800 +++ b/doc/ChangeLog Thu Dec 10 13:09:25 2009 -0800 @@ -1,3 +1,8 @@ +2009-12-10 Rik + + * interpreter/Makefile.am: new distdir-local rule to check for presence of + necessary libraries before packaging distribution + 2009-12-08 Rik * interpreter/Makefile.am: Distribute all generated documentation (.pdf, diff -r dbbec33d14f8 -r 9bd50882cd1c doc/interpreter/Makefile.am --- a/doc/interpreter/Makefile.am Thu Dec 10 12:26:12 2009 -0800 +++ b/doc/interpreter/Makefile.am Thu Dec 10 13:09:25 2009 -0800 @@ -156,6 +156,15 @@ all-local: dvi html pdf ps doc-cache $(HTMLDIR_IMAGES) +# Prevent packaging of distribution unless all libraries +# necessary to create documentation are present +distdir: distdir-local +distdir-local: + @$(GREP) '#define HAVE_COLAMD 1' $(top_builddir)/config.h > /dev/null || { echo "Documentation creation requires missing COLAMD library. Cannot package distribution!" ; exit 1; } + @$(GREP) '#define HAVE_CHOLMOD 1' $(top_builddir)/config.h > /dev/null || { echo "Documentation creation requires missing CHOLMOD library. Cannot package distribution!" ; exit 1; } + @$(GREP) '#define HAVE_UMFPACK 1' $(top_builddir)/config.h > /dev/null || { echo "Documentation creation requires missing UMFPACK library. Cannot package distribution!" ; exit 1; } + @$(GREP) '#define HAVE_QHULL 1' $(top_builddir)/config.h > /dev/null || { echo "Documentation creation requires missing QHULL library. Cannot package distribution!" ; exit 1; } + # Install doc-cache of help files install-data-local: $(MKDIR_P) $(DESTDIR)$(octetcdir)