blob: 914e2555e8ff7104e6cf9b2f3aa42257c158294b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
# Maintainer: malet
pkgname=dafny-bin
_pkgname=dafny
pkgver=3.9.1
pkgrel=1
pkgdesc="Dafny is a verification-aware programming language"
arch=('x86_64')
url="https://github.com/dafny-lang/dafny"
license=('MIT')
provides=('dafny')
conflicts=('dafny')
depends=('dotnet-runtime')
options=('staticlibs')
source=(dafny-${pkgver}.zip::https://github.com/dafny-lang/dafny/releases/download/v${pkgver}/dafny-${pkgver}-x64-ubuntu-16.04.zip)
sha256sums=('6e8cc57d7c5e26b15041dc7a84ce1d830faf0a71882c56441350ae7206b8581e')
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
}
|