PKGBUILD


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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52

# Maintainer: crave <crave@infinity>

pkgname=dafny-git
pkgver=v3.0.0.rpre.rrelease.r1.r256.rgd25ae257
pkgrel=1
pkgdesc="Dafny is a verification-aware programming language"
arch=('i686' 'x86_64')
url="https://github.com/Microsoft/dafny.git"
license=('MIT')
depends=('gcc-libs')
makedepends=('git' 'wget' 'msbuild')
provides=('dafny')
source=("$pkgname"::"git+$url")
md5sums=('SKIP')

pkgver() {
  cd "$pkgname"
  git describe --long | sed 's/z3-//g;s/-/.r/g;s/-/./g'
}

build() {
  if [ ! -d "boogie" ]; then
    git clone https://github.com/boogie-org/boogie.git
  else
    (cd boogie && git pull)
  fi
  [ -f nuget.exe ] || wget https://nuget.org/nuget.exe

  mono ./nuget.exe restore boogie/Source/Boogie.sln
  msbuild boogie/Source/Boogie.sln

  mono ./nuget.exe restore dafny-git/Source/Dafny.sln
  msbuild dafny-git/Source/Dafny.sln

  #mono ./nuget.exe restore dafny-git/Source/DafnyExtension.sln
  #msbuild dafny-git/Source/DafnyExtension.sln
}

package() {
  cd ${pkgname}/Binaries

  # Creating directories
  install -dm755 $pkgdir/opt/dafny
  install -dm755 $pkgdir/usr/bin

  # Copy dependencies
  cp -r * "${pkgdir}"/opt/dafny/
  ln -s /opt/dafny/dafny "${pkgdir}"/usr/bin/dafny
  mkdir -p "${pkgdir}/opt/dafny/z3/bin"
  ln -s /usr/bin/z3 "${pkgdir}/opt/dafny/z3/bin/z3"
}