summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorCarl Schwan2018-06-13 11:11:41 +0200
committerCarl Schwan2018-06-13 11:11:41 +0200
commit07be0ab546fcb1abb98ec423f46ac417fc56eff1 (patch)
tree95e9c6c3269f620e9e4224120495ebef1d9de17c
downloadaur-07be0ab546fcb1abb98ec423f46ac417fc56eff1.tar.gz
initial commit
-rw-r--r--.SRCINFO18
-rw-r--r--.install4
-rw-r--r--PKGBUILD25
-rw-r--r--pseuco-ide.desktop9
4 files changed, 56 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..e68294dd2865
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,18 @@
+pkgbase = pseuco-ide
+ pkgdesc = An IDE for the pseuCo programming language written in Kotlin. Uses the pseuco-java-compiler internally.
+ pkgver = v2.0.0
+ pkgrel = 1
+ url = https://dgit.cs.uni-saarland.de/pseuco/pseuco-ide/
+ arch = any
+ depends = jdk
+ provides = pseuco-ide
+ conflicts = pseuco-ide
+ source = https://dgit.cs.uni-saarland.de/pseuco/pseuco-ide/-/jobs/artifacts/master/download?job=jar
+ source = pseuco-ide.desktop
+ source = .install
+ sha256sums = SKIP
+ sha256sums = 87186ce1e69f6737c02929ec3fa5898d795a567200b6fa5ff3eee40a55a78df7
+ sha256sums = SKIP
+
+pkgname = pseuco-ide
+
diff --git a/.install b/.install
new file mode 100644
index 000000000000..f3aa0d48773c
--- /dev/null
+++ b/.install
@@ -0,0 +1,4 @@
+post_install() {
+ echo "Dont forget to set your java sdk to java-10-jdk"
+ echo "Use archlinux-java set java-10-jdk"
+}
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..23a43ebc79ba
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,25 @@
+# Maintainer: Schwan Carl <schwancarl at protonmail dot com>
+
+pkgname=pseuco-ide
+pkgver=v2.0.0
+pkgrel=1
+pkgdesc="An IDE for the pseuCo programming language written in Kotlin.
+Uses the pseuco-java-compiler internally."
+arch=('any')
+url="https://dgit.cs.uni-saarland.de/pseuco/pseuco-ide/"
+depends=('jdk')
+provides=("${pkgname%}")
+conflicts=("${pkgname%}")
+source=("https://dgit.cs.uni-saarland.de/pseuco/pseuco-ide/-/jobs/artifacts/master/download?job=jar"
+ "pseuco-ide.desktop"
+ ".install")
+sha256sums=('SKIP'
+ '87186ce1e69f6737c02929ec3fa5898d795a567200b6fa5ff3eee40a55a78df7'
+ 'SKIP')
+
+package() {
+ cd "${srcdir}"
+ mkdir -p "${pkgdir}/usr/share/applications/"
+ install -Dm644 "${pkgname}.desktop" "${pkgdir}/usr/share/applications/${pkgname}.desktop"
+ install -Dm0755 "${pkgname}-2.0.0-alpha.jar" "${pkgdir}/usr/share/java/${pkgname}/${pkgname}.jar"
+}
diff --git a/pseuco-ide.desktop b/pseuco-ide.desktop
new file mode 100644
index 000000000000..0ec7a4364ef0
--- /dev/null
+++ b/pseuco-ide.desktop
@@ -0,0 +1,9 @@
+[Desktop Entry]
+Type=Application
+Encoding=UTF-8
+Name=PseudoIDE
+Comment=An IDE for the pseuCo programming language written in Kotlin.
+Exec=/usr/bin/java -jar '/usr/share/java/pseuco-ide/pseuco-ide.jar' "$@"
+Terminal=false
+Categories=Development;
+