Initial commit of PKGBUILD from github releases

2 files changed, 44 insertions, 0 deletions

diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..939c848a7e71
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,15 @@
+pkgbase = dafny-bin
+	pkgdesc = Dafny is a verification-aware programming language
+	pkgver = 2.2.0
+	pkgrel = 1
+	url = https://github.com/Microsoft/dafny
+	arch = x86_64
+	license = MIT
+	depends = mono
+	provides = dafny
+	conflicts = dafny
+	source = dafny-2.2.0.10923.zip::https://github.com/Microsoft/dafny/releases/download/v2.2.0/dafny-2.2.0.10923-x64-debian-8.5.zip
+	sha256sums = 4b13238739d04897517b87ee5300efd99589d6f9b7b59d811624fde8f2f9786d
+
+pkgname = dafny-bin
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..805b9a2242bf
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,29 @@
+# Maintainer: malet
+pkgname=dafny-bin
+_pkgname=dafny
+pkgver=2.2.0
+_pkgbuild=10923
+pkgrel=1
+pkgdesc="Dafny is a verification-aware programming language"
+arch=('x86_64')
+url="https://github.com/Microsoft/dafny"
+license=('MIT')
+provides=('dafny')
+conflicts=('dafny')
+depends=('mono')
+source=(dafny-${pkgver}.${_pkgbuild}.zip::https://github.com/Microsoft/dafny/releases/download/v${pkgver}/dafny-${pkgver}.${_pkgbuild}-x64-debian-8.5.zip)
+sha256sums=('4b13238739d04897517b87ee5300efd99589d6f9b7b59d811624fde8f2f9786d')
+
+package() {
+  cd ${_pkgname}
+
+  # Creating directories
+  install -dm755 $pkgdir/opt/dafny
+  install -dm755 $pkgdir/usr/bin
+
+  # Install binary
+  install -Dm755 "${srcdir}"/dafny/dafny "${pkgdir}"/opt/dafny/dafny
+  # Copy dependencies
+  cp -r "${srcdir}"/dafny/* "${pkgdir}"/opt/dafny/
+  ln -s /opt/dafny/dafny "${pkgdir}"/usr/bin/dafny
+}