16 Commits

Author	SHA1	Message	Date
Leo Arias	559fab39a8	Remote trailing spaces	2021-10-02 18:09:22 +00:00
Leo Arias	def01ea599	Snap: update cvc4 to 1.8	2021-10-02 10:42:14 -06:00
Leo Arias	ecded763f1	Snap: update command path	2021-09-29 17:38:54 -06:00
Leo Arias	4d49008901	Update the snap to build on Ubuntu 20.04	2021-09-28 04:10:02 +00:00
Leo Arias	d95252faf1	Add wget to the build packages of the snap ... This is required to download antlr for cvc4: 323d5faa1f/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