diff options
-rw-r--r-- | gmp.morph | 14 |
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" + ] +} |