summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorSeth Galasso2022-11-05 23:57:22 -0400
committerSeth Galasso2022-11-05 23:57:22 -0400
commitc0eb7048c5593b92b9cce034bf5c92b274caffc3 (patch)
tree40d653d1aa096cde38c7aaba0fb465c61bc09002
downloadaur-c0eb7048c5593b92b9cce034bf5c92b274caffc3.tar.gz
Initial commit.
-rw-r--r--.SRCINFO15
-rw-r--r--.gitignore4
-rw-r--r--PKGBUILD19
-rw-r--r--run.sh2
4 files changed, 40 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..66af7e4355cc
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,15 @@
+pkgbase = flix
+ pkgdesc = Next-generation reliable, safe, concise, and functional-first programming language.
+ pkgver = 0.33.0
+ pkgrel = 1
+ url = https://flix.dev
+ arch = any
+ license = Apache
+ depends = java-runtime>=11
+ noextract = flix.jar
+ source = https://github.com/flix/flix/releases/download/v0.33.0/flix.jar
+ source = run.sh
+ sha256sums = 3309bcc65863d59b839790b95055d685a7f171ddeda6876bdceac378717e8e55
+ sha256sums = a51177acf0372c1c45110136341662617a2e2313c78a7fe8eaf9df22cdb17aa5
+
+pkgname = flix
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 000000000000..f7f9c43c9977
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,4 @@
+/*.jar
+/src
+/pkg
+/*.pkg.tar.zst
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..8c9b56370c66
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,19 @@
+# Maintainer: Seth Galasso <seth.galasso@gmail.com>
+pkgname=flix
+pkgver='0.33.0'
+pkgrel=1
+pkgdesc='Next-generation reliable, safe, concise, and functional-first programming language.'
+arch=('any')
+url='https://flix.dev'
+license=('Apache')
+depends=('java-runtime>=11')
+source=("https://github.com/flix/flix/releases/download/v$pkgver/flix.jar"
+ "run.sh")
+sha256sums=('3309bcc65863d59b839790b95055d685a7f171ddeda6876bdceac378717e8e55'
+ 'a51177acf0372c1c45110136341662617a2e2313c78a7fe8eaf9df22cdb17aa5')
+noextract=('flix.jar')
+
+package() {
+ install -Dm644 flix.jar -t "$pkgdir/usr/share/java/$pkgname/"
+ install -Dm755 run.sh "$pkgdir/usr/bin/$pkgname"
+}
diff --git a/run.sh b/run.sh
new file mode 100644
index 000000000000..0840ada7b4ef
--- /dev/null
+++ b/run.sh
@@ -0,0 +1,2 @@
+#!/bin/sh
+exec /usr/bin/java -jar /usr/share/java/flix/flix.jar "$@"