diff options
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..c7ebc2a6766e --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,25 @@ +# This is an example PKGBUILD file. Use this as a start to creating your own, +# and remove these comments. For more information, see 'man PKGBUILD'. +# NOTE: Please fill out the license field for your package! If it is unknown, +# then please put 'unknown'. + +# Maintainer: Matheus Magalhães de Alcantara <matheus.de.alcantara@gmail.com> +pkgname=amuletml-bin +provides=('amuletml') +conflicts=('amuletml') +pkgver=0.4.0.0 +pkgrel=1 +pkgdesc="The Amulet programming language" +arch=(x86_64) +url="https://hydraz.semi.works/amulet/" +license=('BSD') +source=("https://hydraz.semi.works/amulet/install-amulet.sh") +noextract=() +md5sums=('73b8390cf7974c38dcfd850d7810f0c4') +validpgpkeys=() + +package() { + env PREFIX=$pkgdir/usr/ bash install-amulet.sh + sed -re "s;exec $pkgdir/;exec /;g" -i $pkgdir/usr/bin/amc + sed -re "s;exec $pkgdir/;exec /;g" -i $pkgdir/usr/bin/amc-prove +} |