diff options
author | ambiso | 2018-12-07 15:53:46 +0100 |
---|---|---|
committer | ambiso | 2018-12-07 15:53:46 +0100 |
commit | bcb9d843aec52c7efa30eb0a73103237c4ac7825 (patch) | |
tree | 666a040c0d600ce3c6919ed51a40ae806b8a0838 | |
parent | d07a7cb0fac52eb81f2a5435c9ee66b155e37b81 (diff) | |
download | aur-bcb9d843aec52c7efa30eb0a73103237c4ac7825.tar.gz |
Add msbuild dependency
-rw-r--r-- | .SRCINFO | 1 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -8,6 +8,7 @@ pkgbase = dafny-git license = MIT makedepends = git makedepends = wget + makedepends = msbuild depends = gcc-libs provides = dafny source = dafny-git::git+https://github.com/Microsoft/dafny.git @@ -8,7 +8,7 @@ arch=('i686' 'x86_64') url="https://github.com/Microsoft/dafny.git" license=('MIT') depends=('gcc-libs') -makedepends=('git' 'wget') +makedepends=('git' 'wget' 'msbuild') provides=('dafny') source=("$pkgname"::"git+$url") md5sums=('SKIP') |