Leo Arias
d95252faf1
Add wget to the build packages of the snap
...
This is required to download antlr for cvc4:
https://github.com/bobot/CVC4.old-svn/blob/323d5faa1fcd6657899dabfed2e4ad455c92f5c4/contrib/get-antlr-3.4#L23
2019-08-26 06:07:54 -06:00
Leo Arias
d25a34377f
Install the libcvc library
2019-08-15 04:38:55 +00:00
Leo Arias
7573133626
Fix the stage path
2019-08-15 02:14:21 +00:00
Leo Arias
47153430b2
Build cvc4 when packaging the snap
2019-08-15 00:49:21 +00:00
Leo Arias
ed81a9f80a
Add cvc4 to the snap
2019-02-15 23:08:56 +00:00
Leo Arias
b6798f8adc
snap: build the latest z3
...
Fixes #5985
2019-02-12 21:53:39 +00:00
Leo Arias
0757b46f5d
snap: update libicu to bionic
...
Required to build the snap in bionic, as explained in #5889 .
2019-01-28 11:18:47 -06:00
Leo Arias
940ec4b353
Add libz3-dev to the snap build-packages
2017-08-24 06:20:35 +00:00
Leo Arias
6fc367939c
update the snap metadata to allow stable releases
...
With this change, we will be ready to move the next tag you release to the candidate channel in the store, and make the final testing rounds to then put it in the stable channel and make it visible to all the Ubuntu users.
2017-07-26 10:17:58 -06:00
Leo Arias
e0b13ec89a
use echo -n instead of touch
2017-07-18 14:34:37 +00:00
Leo Arias
841fe4bf26
Prepare the version of the snap package for the release tags
2017-07-18 14:33:49 +00:00
Leo Arias
9fc0060568
Add the packaging metadata to build the solidity snap
2017-06-28 03:40:45 +00:00
Leo Arias
Leo Arias
Leo Arias
Leo Arias