summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gmp.morph14
1 files changed, 14 insertions, 0 deletions
diff --git a/gmp.morph b/gmp.morph
new file mode 100644
index 000000000..d3504d3e8
--- /dev/null
+++ b/gmp.morph
@@ -0,0 +1,14 @@
+{
+ "name": "gmp",
+ "kind": "chunk",
+ "configure-commands": [
+ "bash .bootstrap",
+ "./configure --prefix=/usr --enable-cxx --enable-mpbsd"
+ ],
+ "build-commands": [
+ "make"
+ ],
+ "install-commands": [
+ "make DESTDIR=\"$DESTDIR\" install"
+ ]
+}