# HG changeset patch # User Rik # Date 1260484887 28800 # Node ID 0055d0b8a4bb7c2de68bbef615f9967db08177e8 # Parent 9bd50882cd1c21d861772342b777e500c1772acc Replace distdir-local rule with dist-hook rule which is better supported diff -r 9bd50882cd1c -r 0055d0b8a4bb doc/ChangeLog --- a/doc/ChangeLog Thu Dec 10 13:09:25 2009 -0800 +++ b/doc/ChangeLog Thu Dec 10 14:41:27 2009 -0800 @@ -1,3 +1,8 @@ +2009-12-10 Rik + + * interpreter/Makefile.am: Replace distdir-local with dist-hook rule as it + is better supported by automake. + 2009-12-10 Rik * interpreter/Makefile.am: new distdir-local rule to check for presence of diff -r 9bd50882cd1c -r 0055d0b8a4bb doc/interpreter/Makefile.am --- a/doc/interpreter/Makefile.am Thu Dec 10 13:09:25 2009 -0800 +++ b/doc/interpreter/Makefile.am Thu Dec 10 14:41:27 2009 -0800 @@ -158,8 +158,7 @@ # Prevent packaging of distribution unless all libraries # necessary to create documentation are present -distdir: distdir-local -distdir-local: +dist-hook: @$(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; }