diff options
| author | Sergey Khorev | 2015-06-28 20:55:26 +0300 |
|---|---|---|
| committer | Sergey Khorev | 2015-06-28 20:55:26 +0300 |
| commit | d63a1be5ae3e302a7beac8336f6053441d84b67e (patch) | |
| tree | 9c0c015dc5d46a53d1b8cc188abf7c740d54a4d2 | |
| download | aur-d63a1be5ae3e302a7beac8336f6053441d84b67e.tar.gz | |
Initial import
| -rw-r--r-- | .SRCINFO | 22 | ||||
| -rw-r--r-- | PKGBUILD | 27 |
2 files changed, 49 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..d0a62f681d91 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,22 @@ +pkgbase = fricas + pkgdesc = An advanced computer algebra system + pkgver = 1.2.5 + pkgrel = 1 + url = http://fricas.sourceforge.net + arch = i686 + arch = x86_64 + license = custom + makedepends = sbcl + makedepends = libx11 + makedepends = texlive-core + depends = gawk + depends = libxpm + options = !strip + options = !emptydirs + source = http://downloads.sourceforge.net/project/fricas/fricas/1.2.5/fricas-1.2.5-full.tar.bz2 + source = http://fricas.sourceforge.net/copyright.txt + md5sums = 9320a8f13a5fe5fee17fac666fb7fed3 + md5sums = 147828bf0b62e1f7d0c600a1c377669c + +pkgname = fricas + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..59bc7b70992a --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,27 @@ +# Maintainer: Sergey Khorev <sergey.khorev@gmail.com> +pkgname=fricas +pkgver=1.2.5 +pkgrel=1 +pkgdesc="An advanced computer algebra system" +arch=('i686' 'x86_64') +license=('custom') +depends=('gawk' 'libxpm') +makedepends=('sbcl' 'libx11' 'texlive-core') +options=('!strip' '!emptydirs') +url="http://fricas.sourceforge.net" +source=("http://downloads.sourceforge.net/project/fricas/fricas/${pkgver}/fricas-${pkgver}-full.tar.bz2" "http://fricas.sourceforge.net/copyright.txt") +md5sums=('9320a8f13a5fe5fee17fac666fb7fed3' '147828bf0b62e1f7d0c600a1c377669c') + +build() { + cd "$srcdir/$pkgname-$pkgver" + ./configure --prefix=/usr --with-lisp=sbcl + make +} + +package() { + cd "$srcdir/$pkgname-$pkgver" + make DESTDIR=$pkgdir install + install -D -m644 debian/fricas.desktop $pkgdir/usr/share/applications/fricas.desktop + install -D -m644 debian/fricas.xpm $pkgdir/usr/share/pixmaps/fricas.xpm + install -D -m644 "$srcdir/copyright.txt" $pkgdir/usr/share/licenses/$pkgname/LICENSE +} |