summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRichard Maw <richard.maw@codethink.co.uk>2012-01-16 16:18:18 +0000
committerRichard Maw <richard.maw@codethink.co.uk>2012-01-16 16:18:18 +0000
commit962de8d4b353178d38c2c70e952944686b9fd47b (patch)
tree85479008869e85b824f79593dfac1260cc05986c
parent5324ccf063d0eee3c1785cb690e4558ea5797342 (diff)
downloadgmp-962de8d4b353178d38c2c70e952944686b9fd47b.tar.gz
improve morph
-rw-r--r--gmp.morph11
1 files changed, 10 insertions, 1 deletions
diff --git a/gmp.morph b/gmp.morph
index 28678a70d..d3504d3e8 100644
--- a/gmp.morph
+++ b/gmp.morph
@@ -1,5 +1,14 @@
{
"name": "gmp",
"kind": "chunk",
- "build-system": "autotools"
+ "configure-commands": [
+ "bash .bootstrap",
+ "./configure --prefix=/usr --enable-cxx --enable-mpbsd"
+ ],
+ "build-commands": [
+ "make"
+ ],
+ "install-commands": [
+ "make DESTDIR=\"$DESTDIR\" install"
+ ]
}