initialize isabelle-tum package

3 files changed, 70 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..b6aeb3b75fed
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,22 @@
+pkgbase = isabelle-tum
+	pkgdesc = A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Release mirror: TUM.
+	pkgver = 2020
+	pkgrel = 1
+	url = https://isabelle.in.tum.de/
+	arch = i686
+	arch = x86_64
+	groups = science
+	license = custom:BSD
+	depends = perl
+	depends = perl-libwww
+	optdepends = texlive-core: document preparation
+	conflicts = isabelle
+	source = https://isabelle.in.tum.de/dist/Isabelle2020_linux.tar.gz
+	source = isabelle.desktop
+	md5sums = 7c69d3aa39116cd4a91ad1592a0431e1
+	md5sums = 63add57fc05e5334ad1582d07a0c7146
+	sha256sums = 633aff864d6647bd175cf831e7513e3fd0cd06beacbf29a5c6c66d4de1522bae
+	sha256sums = a619c0c48805f80862c4bb8f2448ce8f3d0bef7cebda7ef98a21bdd40a5652da
+
+pkgname = isabelle-tum
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..ea507e2d2830
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,39 @@
+pkgname=isabelle-tum
+pkgver=2020
+pkgrel=1
+pkgdesc="A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Release mirror: TUM."
+arch=('i686' 'x86_64')
+url="https://isabelle.in.tum.de/"
+license=('custom:BSD')
+groups=('science')
+depends=('perl' 'perl-libwww')
+conflicts=('isabelle')
+if test "$CARCH" == x86_64; then
+	optdepends+=('lib32-glibc: for improved performance of Poly/ML on x86_64 machines'
+               'lib32-gcc-libs: for improved performance of Poly/ML on x86_64 machines')
+fi
+optdepends=('texlive-core: document preparation')
+source=(https://isabelle.in.tum.de/dist/Isabelle${pkgver//_/-}_linux.tar.gz
+         isabelle.desktop)
+sha256sums=('633aff864d6647bd175cf831e7513e3fd0cd06beacbf29a5c6c66d4de1522bae'
+            'a619c0c48805f80862c4bb8f2448ce8f3d0bef7cebda7ef98a21bdd40a5652da')
+md5sums=('7c69d3aa39116cd4a91ad1592a0431e1'
+         '63add57fc05e5334ad1582d07a0c7146')
+
+
+# required Packages are automatically build on the first run
+#         
+# build() {
+#	cd "$srcdir/Isabelle${pkgver//_/-}"
+#	./bin/isabelle build Pure
+#	./bin/isabelle build HOL
+# }
+
+package() {
+  install -Dm644 "isabelle.desktop" "$pkgdir/usr/share/applications/isabelle.desktop"
+  
+	cd "$srcdir/Isabelle${pkgver//_/-}"
+	mkdir -p $pkgdir/opt/isabelle
+	cp -r * $pkgdir/opt/isabelle/
+	$pkgdir/opt/isabelle/bin/isabelle install -d /opt/isabelle $pkgdir/usr/bin
+}
diff --git a/isabelle.desktop b/isabelle.desktop
new file mode 100644
index 000000000000..9c6f94b1c8f6
--- /dev/null
+++ b/isabelle.desktop
@@ -0,0 +1,9 @@
+[Desktop Entry]
+Type=Application
+Name=Isabelle
+Comment=Generic proof assistant
+Exec=/usr/bin/isabelle jedit
+Icon=/opt/isabelle/lib/icons/isabelle.xpm
+Terminal=false
+Categories=Education;Science;Math;
+X-Desktop-File-Install-Version=0.22