diff options
Diffstat (limited to 'gmp.morph')
-rw-r--r-- | gmp.morph | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -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" + ] } |