diff options
Diffstat (limited to 'templates/gmp')
| -rw-r--r-- | templates/gmp/template | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/templates/gmp/template b/templates/gmp/template new file mode 100644 index 0000000..98900e8 --- /dev/null +++ b/templates/gmp/template @@ -0,0 +1,28 @@ +pkgname=gmp +version=6.3.0 +build_no=1 +upstream="https://gmplib.org/download/gmp/gmp-${version}.tar.xz" + +function do_configure { + mkdir build/ + cd build/ + + conf_flags=( + --prefix=/usr + --build=${DISTRO_TC} + --host=${DISTRO_TC} + ) + + CFLAGS="-std=gnu17" ../configure "${conf_flags[@]}" +} + +function do_build { + cd build/ + make -j$(nproc) + make check +} + +function do_install { + cd build/ + make DESTDIR=${DESTDIR} install +} |