3
0
Fork 0
forked from mirrors/nixpkgs
Commit graph

19 commits

Author SHA1 Message Date
Alexander Krupenkin a40020ed5f
solc: 0.4.20 -> 0.4.23 2018-05-02 12:27:47 +03:00
adisbladis 76774e920c
solc: 0.4.19 -> 0.4.20 2018-02-20 12:14:21 +08:00
adisbladis 6e8290ec31
solc: 0.4.17 -> 0.4.19 2018-01-15 17:11:33 +08:00
Mikael Brockman 2c5ab79d2d
solc: v0.4.16 -> v0.4.17 2017-09-22 23:18:21 +03:00
Mikael Brockman 3d107c15bd solc: v0.4.13 -> v0.4.16 (#28732)
Also add the Z3 SMT solver as a dependency, since the new solc can use
it for checking assertions and stuff (which is awesome).
2017-08-30 18:21:17 +02:00
Daniel Brockman cbc54299b3 solc: build on both linux and darwin 2017-07-12 16:43:29 +03:00
Mikael Brockman 442d04d1dd solc: make sure to use dynamic Boost libs
For some reason the default options enable static Boost libs on Darwin,
but that doesn't work for us.
2017-07-12 16:37:50 +03:00
Daniel Brockman 6dcba74af6 solc: 0.4.12 -> 0.4.13 2017-07-12 16:37:50 +03:00
Daniel Brockman 5b9f4e160d solc: 0.4.11 -> 0.4.12 2017-07-05 20:26:35 +02:00
Daniel Brockman dd35dbcc27 solc: 0.4.8 -> 0.4.11 2017-05-19 16:34:10 +02:00
Vincent Laporte fe0ef55384 solc: fix build
Prevent the download of jsoncpp to happen at build time.
Don’t treat warnings as errors, since there is a warning about the major() macros in GNU libc.
2017-03-04 11:01:35 +01:00
Daniel Brockman 2dda1ed3ad solc: 0.4.6 -> 0.4.8 2017-01-14 13:16:50 +01:00
Daniel Brockman 63b0e86908 solc: add explanation for why not fetchFromGitHub 2016-12-06 13:54:52 +01:00
Daniel Brockman a63732ef95 solc: 0.4.4 -> 0.4.6 2016-12-05 11:22:22 +01:00
Daniel Brockman 8bae051c72 solc: 0.4.2 -> 0.4.4 2016-11-02 16:43:46 +01:00
Daniel Brockman afa3a20d3b solc: 0.4.1 -> 0.4.2 2016-10-19 19:38:07 +02:00
Daniel Brockman 7e78217f7c solc: 0.3.6 -> 0.4.1 2016-10-19 19:36:04 +02:00
Daniel Brockman 6999aad158 solc: add maintainer @dbrock 2016-08-17 23:31:20 +02:00
Daniel Brockman 058ab3bf70 solc: init at 0.3.6 2016-08-12 12:23:00 +02:00