public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
nixpkgs/pkgs/development/compilers
History
Lorenzo Manacorda e639f24681 solc: make z3 dependency optional 
It is an optional dependency, which defaults to true.

https://solidity.readthedocs.io/en/latest/installing-solidity.html#smt-solvers
2019-02-20 18:15:45 +01:00
..
abcl
…
adoptopenjdk-bin
Merge #54576: adoptopenjdk-bin: 11.0.1 -> 11.0.2
2019-02-17 09:45:21 +01:00
aldor
…
aliceml
…
apache-flex-sdk
adobe_flex_sdk: 4.0.0.14159 -> apache-flex-sdk: 4.16.1 (#41257)
2018-06-02 10:44:24 +02:00
arachne-pnr
arachne-pnr: 2018.05.13 -> 2018.09.08
2018-10-01 22:32:54 -05:00
as31
…
asn1c
treewide: http -> https sources (#42676)
2018-06-28 20:43:35 +02:00
aspectj
…
ats
…
ats2
ats2: 0.3.12 -> 0.3.13
2019-02-16 13:40:15 +00:00
avian
avian: use no error
2018-06-10 20:34:40 -04:00
avra
…
bigloo
…
binaryen
…
bupc
…
carp
carp: init at unstable-2018-09-15
2018-09-24 15:45:58 +03:00
ccl
reewide: Purge all uses stdenv.system and top-level system
2018-08-30 17:20:32 -04:00
chez
chez: Disable on aarch64-linux
2018-12-10 14:55:21 -05:00
chicken
chicken: 4.13.0 -> 5.0.0
2018-12-26 22:23:01 -04:00
clasp
clasp-common-lisp: update/fix build, 2018-11-28 prerelease (towards 0.9)
2019-01-11 16:29:29 +01:00
clean
clean: 2.4 -> 3.0
2018-12-14 15:58:25 -05:00
closure
closurecompiler: 20181210 -> 20190121
2019-01-28 13:35:09 -08:00
cmdstan
treewide: use ${stdenv.shell} instead of /bin/sh where possible
2019-01-16 20:37:15 +01:00
cmucl
reewide: Purge all uses stdenv.system and top-level system
2018-08-30 17:20:32 -04:00
colm
treewide: http -> https sources (#42676)
2018-06-28 20:43:35 +02:00
compcert
compcert: clean up expression
2019-01-12 20:06:28 -06:00
coreclr
coreclr: move defaults to package file
2019-02-03 15:33:35 +00:00
crystal
crystal: fix "play" subcommand
2018-10-27 13:28:21 +01:00
cudatoolkit
cudatoolkit: fix nvprof
2019-01-03 13:56:46 +01:00
dale
…
dev86
…
dmd
Merge pull request #53886 from tex/tex/dlang
2019-01-21 16:29:20 +00:00
dotnet/sdk
dotnet-sdk: 2.1.402 -> 2.2.103
2019-01-30 19:46:40 +01:00
dtc
ubootRock64, ubootRockPro64: use dtc 1.4.5
2019-01-18 21:00:58 -05:00
ecl
ecl_16_1_2: backport getcwd fix
2018-06-30 01:20:46 +02:00
edk2
edk2: fix buid
2018-08-01 11:15:17 +03:00
eli
treewide: fix derivation names
2018-05-28 05:59:57 -07:00
elm
elm: fix UnsafePath error downloading dependencies
2019-01-21 14:44:31 -05:00
emscripten
pkgs/*: remove unreferenced function arguments
2018-07-21 02:48:04 +00:00
eql
…
factor-lang
factor-lang: 0.97 -> 0.98
2018-10-20 02:51:35 +02:00
fasm
fasm-bin: 1.73.06 -> 1.73.08
2019-02-06 01:35:50 -08:00
fpc
lazarus: format expression with more modern style
2019-02-13 23:39:19 -05:00
fsharp
treewide: use ${stdenv.shell} instead of /bin/sh where possible
2019-01-16 20:37:15 +01:00
fsharp41
treewide: use ${stdenv.shell} instead of /bin/sh where possible
2019-01-16 20:37:15 +01:00
fstar
fstar: 0.9.5.0 -> 0.9.6.0
2018-05-25 10:28:37 +02:00
gambit
gambit-unstable: 2019-01-18 -> 2019-02-05
2019-02-09 01:09:20 -05:00
gcc
Merge pull request #54578 from alyssais/gcj-darwin
2019-02-08 16:54:35 +00:00
gcc-arm-embedded
gcc-arm-embedded: fix MANPATH
2019-01-20 12:22:36 -08:00
gcl
gcl*: fix with updated binutils
2019-02-19 18:02:29 +01:00
gerbil
gerbil-unstable: 2019-01-25 -> 2019-02-09
2019-02-10 11:22:00 -05:00
gforth
treewide: http -> https sources (#42676)
2018-06-28 20:43:35 +02:00
ghc
Merge master into staging-next
2019-02-13 12:33:29 +01:00
ghcjs
Drop obsolete GHC versions 7.10.3, 8.0.2, and 8.4.3.
2018-11-02 20:13:55 +01:00
ghcjs-ng
Remove GHCJS 8.2
2019-01-30 04:45:41 -05:00
glslang
vulkan-validation-layers: 1.1.82.0 -> 1.1.85.0
2018-12-08 00:51:39 -05:00
gnu-cobol
gnu-cobol: enable on darwin
2019-02-11 22:55:07 -05:00
gnu-smalltalk
gnu-smalltalk: move defaults to package file
2019-02-03 15:32:18 +00:00
go
go_1_10: fix tests after binutils update
2019-02-19 11:35:54 +01:00
gprolog
gprolog: 1.4.4 -> 1.4.5
2018-12-25 16:52:12 -08:00
graalvm
Merge staging-next into staging
2018-11-18 10:41:34 +01:00
gwt
…
halide
eigen3_3: move version overrides to all-packages.nix
2018-11-18 10:53:25 +00:00
haxe
pkgs/*: remove unreferenced function arguments
2018-07-21 02:48:04 +00:00
hhvm
hhvm: mark as broken
2018-08-29 14:43:06 +00:00
hop
…
iasl
iasl: broaden platforms
2019-01-25 15:08:31 +00:00
icedtea-web
…
inform7
pkgs/*: remove unreferenced function arguments
2018-07-21 02:48:04 +00:00
intercal
…
ios-cross-compile
pkgs/*: remove unreferenced function arguments
2018-07-21 02:48:04 +00:00
ispc
ispc: 1.9.2 -> 1.10.0
2019-01-20 02:00:17 -06:00
javacard-devkit
javacard-devkit: allow overriding the java binary (#45416)
2018-08-21 20:00:46 +02:00
jetbrains-jdk
treewide: remove paxutils from stdenv
2018-12-22 12:55:05 +01:00
jikes
jikes: add license
2018-08-06 13:02:43 +02:00
jsonnet
jsonnet: 0.11.2 -> 0.12.1 (#52874)
2018-12-25 19:46:38 -05:00
julia
julia: add 1.1.0
2019-01-31 14:18:29 +01:00
jwasm
…
kotlin
kotlin: 1.3.11 -> 1.3.20
2019-01-28 08:34:48 -05:00
ldc
ldc: 1.11.0 -> 1.12.0
2018-12-27 10:56:26 +01:00
llvm
Merge master into staging-next
2019-02-16 09:29:54 +01:00
manticore
manticore: 2017-08-22 -> 2018-09-29
2018-12-01 12:22:34 +05:30
matter-compiler
pkgs/*: remove unreferenced function arguments
2018-07-21 02:48:04 +00:00
mcpp
pkgs/*: remove unreferenced function arguments
2018-07-21 02:48:04 +00:00
mercury
treewide: http -> https sources (#42676)
2018-06-28 20:43:35 +02:00
meta-environment/meta-build-env
…
mezzo
ocamlPackages.mezzo: disable for OCaml ≥ 4.06
2018-08-29 12:49:45 +00:00
microscheme
treewide: use gnu toolchain for avr/arm-embedded
2018-10-30 13:31:45 -05:00
mint
mint: 0.2.1 -> 0.3.1 (#47586)
2018-10-01 17:33:59 +02:00
mit-scheme
Treewide: use HTTPS on GNU domains
2018-12-02 15:51:59 +01:00
mkcl
…
mlton
mlton: refactor and adds mlton20180207Binary mlton20180207 mltonHEAD
2018-10-12 00:47:54 -04:00
mono
mono: llvm fork update 3.4svn-mono-f9b1a74368 -> 3.6-mono-2017-02-15
2018-12-23 21:37:06 +00:00
mosml
mosml: init at 2.10.1
2018-08-10 17:51:11 +08:00
mozart
reewide: Purge all uses stdenv.system and top-level system
2018-08-30 17:20:32 -04:00
mruby
mruby: 1.4.1 -> 2.0.0
2018-12-15 07:30:35 -05:00
nasm
nasm: 2.14.01 -> 2.14.02
2019-01-03 13:57:25 +01:00
neko
treewide: http -> https
2018-06-23 04:34:55 -07:00
nextpnr
nextpnr: with GUI support, be sure to set QT_PLUGIN_PATH
2019-01-12 15:51:00 -06:00
nim
nim: update nodejs-slim
2018-10-31 10:38:16 +01:00
nvidia-cg-toolkit
reewide: Purge all uses stdenv.system and top-level system
2018-08-30 17:20:32 -04:00
obliv-c
obliv-c: 0.0pre20170827 -> 0.0pre20180624
2018-08-28 04:32:56 +00:00
ocaml
ocaml-4.08: disable “strictoverflow” hardening
2019-02-19 09:44:04 +01:00
opa
treewide: Make configureFlags lists
2018-08-03 17:06:03 -04:00
opendylan
tree-wide: patchelf used during build -> nativeBuildInputs
2018-09-28 11:43:16 -05:00
openjdk
Merge branch 'master' into staging
2019-01-22 15:59:42 +01:00
openspin
openspin: init at 2018-10-02
2018-10-02 03:02:49 +00:00
oraclejdk
oraclejdk8distro, oraclejdk8psu_distro: move defaults to package file
2019-02-03 15:33:24 +00:00
orc
orc: update homepage
2018-09-02 01:46:28 +02:00
osl
osl: 1.9.10 -> 1.10.2
2018-12-14 20:23:22 -08:00
owl-lisp
owl-lisp: 0.1.15 -> 0.1.16
2018-06-08 01:39:17 -07:00
pakcs
pakcs: 2.0.2-b9 -> 2.0.2
2018-11-17 05:08:21 +03:00
picat
reewide: Purge all uses stdenv.system and top-level system
2018-08-30 17:20:32 -04:00
polyml
treewide: http -> https
2018-06-29 17:18:27 -07:00
ponyc
ponyc: 0.25.0 -> 0.26.0
2019-02-03 08:52:40 +00:00
purescript/psc-package
psc-package: 0.4.2 -> 0.5.1
2019-01-31 19:06:04 +01:00
reason
dune: 1.4.0 -> 1.5.0 (#49848)
2018-11-09 12:26:18 +00:00
rgbds
…
rust
Revert "rustc: 1.31.0 -> 1.32.0" (#55379)
2019-02-07 12:49:37 +01:00
sbcl
sbcl: fix uname invocation
2019-01-31 07:21:30 +01:00
scala
scala: 2.12.7 -> 2.12.8
2018-12-05 09:27:34 -05:00
sdcc
sdcc: fix license condition
2018-07-17 19:17:03 +03:00
seexpr
appleseed, structure-synth, luxcorerender: libGLU instead of mesa_glu
2018-06-30 09:14:21 -04:00
serpent
…
shaderc
shaderc: git-2018-06-01 -> 2018.0
2019-01-19 12:32:54 +00:00
smlnj
smlnj: 110.84 includes a new implementation of Abstract Syntax Description Library (ASDL). Adding it as a required source.
2018-11-16 16:17:35 +05:30
solc
solc: make z3 dependency optional
2019-02-20 18:15:45 +01:00
souffle
pkgs/*: remove unreferenced function arguments
2018-07-21 02:48:04 +00:00
souper
…
squeak
…
stalin
…
swi-prolog
Merge remote-tracking branch 'upstream/master' into staging
2018-08-04 15:17:42 +03:00
swift
swift: 4.2.1 -> 4.2.2
2019-02-04 13:23:30 -06:00
terra
treewide: remove paxutils from stdenv
2018-12-22 12:55:05 +01:00
teyjus
…
tinycc
treewide: remove paxutils from stdenv
2018-12-22 12:55:05 +01:00
urn
urn: 0.7.1 -> 0.7.2
2018-12-28 16:39:13 +01:00
urweb
urweb: 20170720 -> 20180616
2018-11-23 15:42:23 +07:00
vala
vala: add setup hook
2019-01-20 04:06:20 +01:00
wcc
wcc: init unstable at 2018-04-05
2018-07-04 12:57:11 +00:00
wla-dx
…
x11basic
x11basic: init at 1.26
2018-11-03 17:58:02 +01:00
yap
treewide: Make configureFlags lists
2018-08-03 17:06:03 -04:00
yasm
treewide: http -> https sources (#42676)
2018-06-28 20:43:35 +02:00
yosys
yosys: 2018.10.17 -> 2019.01.08
2019-01-08 19:15:24 -06:00
z88dk
…
zig
zig: 0.2.0 -> 0.3.0
2018-09-29 15:18:57 -04:00
zulu
…