diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2016-04-01 16:17:46 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2016-04-01 16:17:46 -0400 |
| commit | c92628e68f878293d1408fdf9d4317a7ab71ddc1 (patch) | |
| tree | fb1b889a891ec7cbd928c265a4bd0c8f7e2fa5f5 /debian/bin | |
| parent | 3c5818f34339a8a3660d904000b207d1f63ae805 (diff) | |
Package Boogie programs for experimental
Diffstat (limited to 'debian/bin')
| -rwxr-xr-x | debian/bin/boogie | 2 | ||||
| -rwxr-xr-x | debian/bin/bvd | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/debian/bin/boogie b/debian/bin/boogie new file mode 100755 index 00000000..6b72617e --- /dev/null +++ b/debian/bin/boogie @@ -0,0 +1,2 @@ +#!/bin/sh +exec /usr/bin/cli /usr/lib/boogie/Boogie.exe /z3exe:/usr/bin/z3 "$@" diff --git a/debian/bin/bvd b/debian/bin/bvd new file mode 100755 index 00000000..49f7a3d0 --- /dev/null +++ b/debian/bin/bvd @@ -0,0 +1,2 @@ +#!/bin/sh +exec /usr/bin/cli /usr/lib/boogie/BVD.exe "$@" |