diff options
| -rw-r--r-- | repos/extra/gmp/.checksum | 1 | ||||
| -rw-r--r-- | repos/extra/gmp/.files | 19 | ||||
| -rw-r--r-- | repos/extra/gmp/abuild | 5 |
3 files changed, 25 insertions, 0 deletions
diff --git a/repos/extra/gmp/.checksum b/repos/extra/gmp/.checksum new file mode 100644 index 00000000..a4e9b54a --- /dev/null +++ b/repos/extra/gmp/.checksum @@ -0,0 +1 @@ +fffe4996713928ae19331c8ef39129e46d3bf5b7182820656fd4639435cd83a4 gmp-6.3.0.tar.xz diff --git a/repos/extra/gmp/.files b/repos/extra/gmp/.files new file mode 100644 index 00000000..c0afcfd9 --- /dev/null +++ b/repos/extra/gmp/.files @@ -0,0 +1,19 @@ +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/include/ +-rw-r--r-- root/root usr/include/gmp.h +-rw-r--r-- root/root usr/include/gmpxx.h +drwxr-xr-x root/root usr/lib/ +lrwxrwxrwx root/root usr/lib/libgmp.so -> libgmp.so.10.5.0 +lrwxrwxrwx root/root usr/lib/libgmp.so.10 -> libgmp.so.10.5.0 +-rwxr-xr-x root/root usr/lib/libgmp.so.10.5.0 +lrwxrwxrwx root/root usr/lib/libgmpxx.so -> libgmpxx.so.4.7.0 +lrwxrwxrwx root/root usr/lib/libgmpxx.so.4 -> libgmpxx.so.4.7.0 +-rwxr-xr-x root/root usr/lib/libgmpxx.so.4.7.0 +drwxr-xr-x root/root usr/lib/pkgconfig/ +-rw-r--r-- root/root usr/lib/pkgconfig/gmp.pc +-rw-r--r-- root/root usr/lib/pkgconfig/gmpxx.pc +drwxr-xr-x root/root usr/share/ +drwxr-xr-x root/root usr/share/info/ +-rw-r--r-- root/root usr/share/info/gmp.info-1.gz +-rw-r--r-- root/root usr/share/info/gmp.info-2.gz +-rw-r--r-- root/root usr/share/info/gmp.info.gz diff --git a/repos/extra/gmp/abuild b/repos/extra/gmp/abuild new file mode 100644 index 00000000..f3d258e0 --- /dev/null +++ b/repos/extra/gmp/abuild @@ -0,0 +1,5 @@ +name=gmp +version=6.3.0 +release=1 +source="https://ftpmirror.gnu.org/gnu/${name}/${name}-${version}.tar.xz" +build_opt="--enable-cxx" |