diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-29T15·04+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-10-29T15·04+0000 |
| commit | f31661a3b593a15fe061bb398f1814d9c37902a6 (patch) | |
| tree | 44ed5e8579af7e100e30bc124b7de2a87afb9885 /externals/Makefile.am | |
| parent | 7102455cba5ceb13e7f3558716ee0a49fff1c58f (diff) | |
* Add sdf2-bundle to externals.
Diffstat (limited to 'externals/Makefile.am')
| -rw-r--r-- | externals/Makefile.am | 31 |
1 files changed, 29 insertions, 2 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am index 46b1a9fdbe4c..c644c05696f9 100644 --- a/externals/Makefile.am +++ b/externals/Makefile.am @@ -53,6 +53,33 @@ build-aterm: have-aterm touch build-aterm -all: build-db build-aterm +# SDF bundle -EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz +SDF2 = sdf2-bundle-1.6 + +$(SDF2).tar.gz: + @echo "Nix requires the SDF2 bundle to build." + @echo "Please download version 1.6 from" + @echo " ftp://ftp.stratego-language.org/pub/stratego/sdf2/sdf2-bundle-1.6.tar.gzP" + @echo "and place it in the externals/ directory." + false + +$(SDF2): $(SDF2).tar.gz + gunzip < $(SDF2).tar.gz | tar xvf - + +have-sdf2: + $(MAKE) $(SDF2) + touch have-sdf2 + +build-sdf2: have-sdf2 + (pfx=`pwd` && \ + cd $(SDF2) && \ + ./configure --prefix=$$pfx/inst && \ + make && \ + make install) + touch build-sdf2 + + +all: build-db build-aterm build-sdf2 + +EXTRA_DIST = $(DB).tar.gz $(ATERM).tar.gz $(SDF2).tar.gz |