comparison doc/interpreter/Makefile.am @ 9963:0055d0b8a4bb

Replace distdir-local rule with dist-hook rule which is better supported
author Rik <rdrider0-list@yahoo.com>
date Thu, 10 Dec 2009 14:41:27 -0800
parents 9bd50882cd1c
children f3bef90b7278
comparison
equal deleted inserted replaced
9962:9bd50882cd1c 9963:0055d0b8a4bb
156 156
157 all-local: dvi html pdf ps doc-cache $(HTMLDIR_IMAGES) 157 all-local: dvi html pdf ps doc-cache $(HTMLDIR_IMAGES)
158 158
159 # Prevent packaging of distribution unless all libraries 159 # Prevent packaging of distribution unless all libraries
160 # necessary to create documentation are present 160 # necessary to create documentation are present
161 distdir: distdir-local 161 dist-hook:
162 distdir-local:
163 @$(GREP) '#define HAVE_COLAMD 1' $(top_builddir)/config.h > /dev/null || { echo "Documentation creation requires missing COLAMD library. Cannot package distribution!" ; exit 1; } 162 @$(GREP) '#define HAVE_COLAMD 1' $(top_builddir)/config.h > /dev/null || { echo "Documentation creation requires missing COLAMD library. Cannot package distribution!" ; exit 1; }
164 @$(GREP) '#define HAVE_CHOLMOD 1' $(top_builddir)/config.h > /dev/null || { echo "Documentation creation requires missing CHOLMOD library. Cannot package distribution!" ; exit 1; } 163 @$(GREP) '#define HAVE_CHOLMOD 1' $(top_builddir)/config.h > /dev/null || { echo "Documentation creation requires missing CHOLMOD library. Cannot package distribution!" ; exit 1; }
165 @$(GREP) '#define HAVE_UMFPACK 1' $(top_builddir)/config.h > /dev/null || { echo "Documentation creation requires missing UMFPACK library. Cannot package distribution!" ; exit 1; } 164 @$(GREP) '#define HAVE_UMFPACK 1' $(top_builddir)/config.h > /dev/null || { echo "Documentation creation requires missing UMFPACK library. Cannot package distribution!" ; exit 1; }
166 @$(GREP) '#define HAVE_QHULL 1' $(top_builddir)/config.h > /dev/null || { echo "Documentation creation requires missing QHULL library. Cannot package distribution!" ; exit 1; } 165 @$(GREP) '#define HAVE_QHULL 1' $(top_builddir)/config.h > /dev/null || { echo "Documentation creation requires missing QHULL library. Cannot package distribution!" ; exit 1; }
167 166