# 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 --git a/doc/ChangeLog b/doc/ChangeLog --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -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 --git a/doc/interpreter/Makefile.am b/doc/interpreter/Makefile.am --- a/doc/interpreter/Makefile.am +++ b/doc/interpreter/Makefile.am @@ -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; }