diff options
-rw-r--r-- | .SRCINFO | 20 | ||||
-rw-r--r-- | .gitignore | 7 | ||||
-rwxr-xr-x | PKGBUILD | 55 | ||||
-rwxr-xr-x | cocoa5 | 3 |
4 files changed, 85 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..d94abb51aa3b --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,20 @@ +pkgbase = cocoalib + pkgdesc = A C++ library for doing Computations in Commutative Algebra. Also includes the CoCoA-5 Interpreter. + pkgver = 0.99700 + pkgrel = 1 + url = http://cocoa.dima.unige.it/ + arch = i686 + arch = x86_64 + license = GPL + makedepends = frobby + makedepends = boost + depends = gmp + depends = boost-libs + depends = readline + source = http://cocoa.dima.unige.it/cocoalib/tgz/CoCoALib-0.99700.tgz + source = cocoa5 + sha256sums = fa95225569aefcfbce6b933f6ec0e8dde9cca69bb1796ac4c7adabe21935a80e + sha256sums = e9cc79cb1e35f28399afe8c2fd8f521da7566a996363e9789ed76d55093511b3 + +pkgname = cocoalib + diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..553204ee0156 --- /dev/null +++ b/.gitignore @@ -0,0 +1,7 @@ +pkg +src +*.xz +*.tgz +*.bak +*.log +*.sh diff --git a/PKGBUILD b/PKGBUILD new file mode 100755 index 000000000000..a7ab3d458e4b --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,55 @@ +# Maintainer: Florian Walsh + +pkgname=cocoalib +pkgver=0.99700 +pkgrel=1 +pkgdesc="A C++ library for doing Computations in Commutative Algebra. Also includes the CoCoA-5 Interpreter." +arch=('i686' 'x86_64') +url="http://cocoa.dima.unige.it/" +license=('GPL') +depends=('gmp' 'boost-libs' 'readline') +makedepends=('frobby' 'boost') +source=("http://cocoa.dima.unige.it/cocoalib/tgz/CoCoALib-$pkgver.tgz" "cocoa5") +sha256sums=('fa95225569aefcfbce6b933f6ec0e8dde9cca69bb1796ac4c7adabe21935a80e' + 'e9cc79cb1e35f28399afe8c2fd8f521da7566a996363e9789ed76d55093511b3') + +build() { + cd "$srcdir/CoCoALib-$pkgver" + ./configure --with-libfrobby='/usr/lib/libfrobby.a' + make -s CXXFLAGS='-Wno-deprecated-declarations -fPIC' library + cd src/CoCoA-5 + make -s CXXFLAGS='-Wno-deprecated-declarations -fPIC' cocoa5 +} + +package() { + cd "$srcdir/CoCoALib-$pkgver" + install -d "$pkgdir/usr/include/CoCoA" + for file in include/CoCoA/*.H; do + install "$file" "$pkgdir/usr/$file" + done + install -d "$pkgdir/usr/lib" + install -m 644 lib/libcocoa.a "$pkgdir/usr/lib/libcocoa.a" + install -d "$pkgdir/usr/lib/CoCoA/bin" + install src/CoCoA-5/CoCoAInterpreter "$pkgdir/usr/lib/CoCoA/bin/CoCoAInterpreter" + install -d "$pkgdir/usr/lib/CoCoA/packages" + for file in src/CoCoA-5/packages/*; do + install "$file" "$pkgdir/usr/lib/CoCoA/packages" + done + install -d "$pkgdir/usr/lib/CoCoA/examples" + for file in examples/*; do + install "$file" "$pkgdir/usr/lib/CoCoA/examples" + done + install -d "$pkgdir/usr/lib/CoCoA/doc" + for file in doc/*.html; do + install "$file" "$pkgdir/usr/lib/CoCoA/doc" + done + install -d "$pkgdir/usr/lib/CoCoA/doc/html" + for file in doc/html/*.html; do + install "$file" "$pkgdir/usr/lib/CoCoA/doc/html" + done + install "doc/CoCoALib.pdf" "$pkgdir/usr/lib/CoCoA/doc" + install "doc/COPYING" "$pkgdir/usr/lib/CoCoA/doc" + install "COPYING-GPLv3" "$pkgdir/usr/lib/CoCoA" + install -d "$pkgdir/usr/bin" + install ../cocoa5 "$pkgdir/usr/bin/cocoa5" +} diff --git a/cocoa5 b/cocoa5 new file mode 100755 index 000000000000..132d1e6e51aa --- /dev/null +++ b/cocoa5 @@ -0,0 +1,3 @@ +#!/bin/bash + +exec /usr/lib/CoCoA/bin/CoCoAInterpreter --packageDir /usr/lib/CoCoA/packages $* |