diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -2,11 +2,11 @@ pkgname=twelf pkgver=1.7.1 -pkgrel=2 +pkgrel=3 pkgdesc='An implementation of the logical framework LF' url='http://twelf.org/' license=('BSD') -arch=('i686' 'x86_64') +arch=('x86_64') depends=('bash' 'gmp' 'smlnj') makedepends=('smlnj') provides=('twelf') @@ -24,7 +24,7 @@ package() { cd "$pkgname" cat > ./bin/twelf-server <<EOF #!/bin/sh -exec "sml" @SMLload="/opt/twelf/bin/.heap/twelf-server.x86-linux" @SMLdebug=/dev/null +exec "sml" @SMLload="/opt/twelf/bin/.heap/twelf-server.amd64-linux" @SMLdebug=/dev/null EOF install -d -m755 $pkgdir/opt/twelf $pkgdir/usr/bin cp -r . $pkgdir/opt/twelf |