From 104266a91fb4504c5802e049fe9809acd044904f Mon Sep 17 00:00:00 2001 From: Sainan Date: Wed, 20 Dec 2023 06:03:02 +0100 Subject: [PATCH] Remove PKGBUILD as Pluto is now on AUR --- PKGBUILD | 25 ------------------------- 1 file changed, 25 deletions(-) delete mode 100644 PKGBUILD diff --git a/PKGBUILD b/PKGBUILD deleted file mode 100644 index 86fdb29855..0000000000 --- a/PKGBUILD +++ /dev/null @@ -1,25 +0,0 @@ -pkgname=pluto -pkgver=tbd -pkgrel=1 -arch=('x86_64') -makedepends=('php') -source=("pluto-git::git+https://github.com/PlutoLang/Pluto") -sha256sums=('SKIP') - -pkgver () { - git rev-parse --short HEAD -} - -build () { - cd pluto-git - php scripts/compile.php clang - php scripts/link_pluto.php clang - php scripts/link_plutoc.php clang -} - -package () { - cd $srcdir/pluto-git - mkdir -p $pkgdir/usr/local/bin - cp src/pluto $pkgdir/usr/local/bin/pluto - cp src/plutoc $pkgdir/usr/local/bin/plutoc -}