Commit Graph

582 Commits

Author SHA1 Message Date
Vladimír Čunát
565bd805e6
Merge branch 'master' 2018-03-05 14:53:27 +01:00
Austin Seipp
7270f2139a tlaplus: init at 1.5.6
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-03-02 21:20:54 -06:00
Ryan Mulligan
72a22296dd cryptoverif: 1.22 -> 1.28
Semi-automatic update. These checks were performed:

- built on NixOS
- ran `/nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28/bin/cryptoverif --help` got 0 exit code
- found 1.28 with grep in /nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28
- found 1.28 in filename of file in /nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28
2018-02-26 08:32:20 +01:00
Alexander V. Nikolaev
0acec7e984 treewide: transition mesa to libGLU_combined 2018-02-24 17:06:49 +02:00
Vladimír Čunát
b5aaaf87a7
Merge staging and PR #35021
It's the last staging commit (mostly) built on Hydra,
and a minimal fix for Darwin regression in pysqlite.
2018-02-16 09:13:12 +01:00
John Wiegley
90252481bf coq: 8.7.1 -> 8.7.2 2018-02-15 23:12:43 -08:00
Vincent Laporte
e75009ecdc
eprover: fix build in non-GCC environments 2018-02-14 22:46:12 +00:00
Frederik Rietdijk
672bb6b4ab Merge remote-tracking branch 'upstream/master' into HEAD 2018-02-14 21:30:08 +01:00
Jörg Thalheim
6ec8fe0408 z3: also needs setuptools 2018-02-14 10:01:25 +00:00
Will Dietz
2974ed9266 avy: fixes to work with clang and musl 2018-02-13 09:44:52 -06:00
Will Dietz
cbdd20878e cvc4: build in parallel 2018-02-13 09:44:45 -06:00
Will Dietz
12e60c232a cvc4: patch up fpu_control usage 2018-02-13 09:44:45 -06:00
Will Dietz
4c767417ea picosat: fix ar and ranlib usage for cross 2018-02-13 09:44:32 -06:00
Will Dietz
36b2706916 picosat: fixup include for unistd.h 2018-02-13 09:44:32 -06:00
Will Dietz
46cbded0de boolector: patch usage of ar and ranlib for cross
eep.
2018-02-13 09:44:32 -06:00
Will Dietz
9138d055bf boolector: fix missing stdint.h include 2018-02-13 09:44:31 -06:00
Austin Seipp
0e371a60a5 symbiyosys: 2018.01.10 -> 2018.02.04
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-02-04 11:59:35 -06:00
Will Dietz
a5a64cfcb1 lean: fixup nativeBuildInputs vs buildInputs 2018-01-22 17:19:02 -06:00
Yegor Timoshenko
506c89c30a maintainers: remove mornfall from packages 2018-01-17 05:17:33 +00:00
Vincent Laporte
aee1cebda7
why3: 0.88.1 -> 0.88.3 2018-01-14 05:51:06 +00:00
Austin Seipp
4d4340805b symbiyosys: 2017.12.06 -> 2018.01.10
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-01-10 14:00:58 -06:00
Austin Seipp
ebeb95d18b z3: 4.5.0-2017-11-06 -> 4.6.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2018-01-03 21:44:56 -06:00
Vladimír Čunát
1fcd92ce92
Merge branch 'master' into staging
A few thousand rebuilds from master, again.
Hydra: ?compare=1422362
2017-12-31 09:53:49 +01:00
John Ericson
4d2b763817
Merge pull request #26805 from obsidiansystems/cross-elegant
Make cross compilation elegant
2017-12-30 22:58:02 -05:00
John Ericson
046f091e0d treewide: Don't use envHook anymore
This commits needs a MAJOR audit as I oftentimes just guessed which of
`$hostOffset`, `$targetOffset`, or a fixed offset should be used.
2017-12-30 22:04:22 -05:00
Austin Seipp
ff555bdaeb tamarin-prover: enable tests
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:39:38 -06:00
Austin Seipp
bae2e7ceb3 nixpkgs: add sapic as a dependency to tamarin-prover
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:01:29 -06:00
Austin Seipp
3813ab2589 nixpkgs: init sapic 0.9
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:01:29 -06:00
Austin Seipp
a31bdc0739 nixpkgs: add 'graphviz' to tamarin-prover dependencies
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 19:01:29 -06:00
Austin Seipp
abcfa6f608 nixpkgs: add tamarin-prover 1.3.0 (dev) tool
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-30 18:23:15 -06:00
Vincent Laporte
b320538f4c
coq: lablgtk is only needed for coqide 2017-12-23 11:11:56 +00:00
John Wiegley
f962f33593 Specify the coq version in a more consistent location 2017-12-21 01:24:35 -08:00
Vincent Laporte
4c454a3208
coq: minor cleaning 2017-12-18 15:30:36 +00:00
Orivej Desh
c13c93f03b drat-trim: fix build on darwin 2017-12-17 13:19:34 +00:00
Orivej Desh
d8f668c7b3
Merge pull request #32643 from kini/drat-trim
drat-trim: init at 2017-08-31
2017-12-17 00:31:25 +00:00
Keshav Kini
7b6b074829 drat-trim: init at 2017-08-31
DRAT-trim is a tool which can be used to make SAT solvers (such as
glucose and glucose-syrup, which are in nixpkgs) more useful by
checking their work.  It has become well-accepted in the SAT solver
development community and has been used in the annual SAT competitions
for the last few years.
2017-12-17 00:27:52 +00:00
Vincent Laporte
12c5fe3e2d ocamlPackages.cairo2: 0.4.6 -> 0.5 2017-12-16 12:14:35 +01:00
John Wiegley
40627000f7 coq_8_7: 8.7.0 -> 8.7.1 2017-12-15 22:09:15 -08:00
John Wiegley
2e93f93b2a z3_4_5_0: New expression, to access the release version's API 2017-12-14 23:32:37 -08:00
Pascal Wittmann
aacf756ed0
Merge pull request #32538 from vbgl/ott-0.27
ott: 0.25 -> 0.27
2017-12-14 09:07:46 +01:00
Vincent Laporte
b212125b54
Merge pull request #32250 from vbgl/coq-clean
coq_HEAD, coqPackages_8_4: remove
2017-12-11 18:13:24 +01:00
Vincent Laporte
1ccd3b9755
ott: 0.25 -> 0.27 2017-12-10 11:49:05 +00:00
Vladimír Čunát
2309acf723
Merge branch 'master' into staging 2017-12-09 21:00:07 +01:00
Orivej Desh
9f8ec7e4d3 stp: disable parallel building 2017-12-07 08:52:42 +00:00
Austin Seipp
520fa67746 nixpkgs: symbiyosys 2017.11.05 -> 2017.12.06
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-12-06 22:07:57 -06:00
Vincent Laporte
e36cb93283
coq_HEAD: remove 2017-12-02 08:38:58 +00:00
Keshav Kini
2d91801242 glucose-syrup: Remove unused fetchurl argument 2017-12-01 21:13:21 -08:00
Vincent Laporte
a8da423332
acgtk: fix for yojson ≥ 1.4 2017-11-27 17:00:15 +00:00
Moritz Kiefer
c0f08557b9 why3: 0.87.3 -> 0.88.1 2017-11-15 10:15:12 +01:00
Michael Raskin
20b6b3cf0e clingo: init at 5.2.2
Note that clasp (included in clingo) is already packaged separately, but
only an earlier version. As it is used by OPAM, but will stop being used
by OPAM later (and I want to grab the name for Clasp the Common Lisp
implementation), I decided to package clingo as a whole (as recommended),
but to leave clasp until OPAM stops needing it.
2017-11-10 14:04:32 +01:00
Austin Seipp
063e4dca79 z3: update to latest git
This has some nice improvements, like new string and real arithmetic solvers.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-09 13:20:01 -06:00
Michael Raskin
27f7999280 glucose, glucose-syrup: 4.0 -> 4.1 2017-11-08 09:55:29 +01:00
Austin Seipp
5fc4f17862 yices: 2.5.3 -> 2.5.4
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-05 12:49:38 -06:00
Austin Seipp
e27e0ebe48 cvc4: unstable-2017-05-18 -> 1.5
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-05 12:49:38 -06:00
Austin Seipp
9cb5201d33 yosys/symbiyosys: 2017.10.16 -> 2017.11.05
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-11-05 12:49:38 -06:00
John Wiegley
89720d851a
coqPackages_8_7: New expression, but don't make it the default yet 2017-10-22 12:43:27 -07:00
Austin Seipp
cd52a3d53c aiger: fix stupid incorrect download link
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 13:01:51 -05:00
Austin Seipp
635fbcbd33 nixpkgs: add aiger 1.9.9
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Austin Seipp
b72f543f96 picosat: install more stuff
Projects like the AIGER toolkit want to use the picosat.o object file in order
to do SAT solving. Install this, along with the header and version information,
so a build of the AIGER can use it. This means that picosat does not need to be
built twice.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Austin Seipp
e84cec2762 nixpkgs: add 'avy' -- property directed AIGER model checking
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Austin Seipp
740fb165da nixpkgs: add symbiyosys, for HDL verification flows
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
Simon Lackerbauer
800f751740 abella: 2.0.2 -> 2.0.4 2017-10-16 02:39:16 +02:00
Vincent Laporte
1529938fc3
cubicle: 1.0.2 -> 1.1.1 2017-10-11 07:38:27 +00:00
Maxime Dénès
d1e1ee7b09 coq: 8.7+beta1 -> 8.7+beta2 2017-10-11 03:02:01 +02:00
Gabriel Ebner
a936d9d6dc isabelle: 2016-1 -> 2017 2017-10-10 11:18:57 +02:00
Orivej Desh
f137004179 Merge branch 'master' into staging
* master: (81 commits)
  Add NixOS 17.09 AMIs
  gradle: 4.2 -> 4.2.1
  maintainers.nix: use my GitHub handle as maintainer name
  fcitx-engines.rime: init at 0.3.2
  brise: init at 2017-09-16
  librime: init at 1.2.9
  marisa: init at 0.2.4
  opencc: build shared library and programs
  josm: 12712 -> 12914
  exa: 0.7.0 -> 0.8.0
  krb5: add deprecation date for old configuration
  rustRegistry: 2017-09-10 -> 2017-10-03
  go-ethereum: Fix libusb segmentation faults on Darwin
  tor-browser-bundle-bin: 7.0.5 -> 7.0.6
  libsodium: 1.0.13 -> 1.0.15
  tor-browser-bundle: geoip support
  tor-browser-bundle: support transports obfs2,obfs3
  tor-browser-bundle: bump https-everywhere to 2017.9.12
  tint2: limit platforms to Linux since macOS is not supported and fails the tests
  eclipse-plugin-vrapper: init at 0.72.0
  ...
2017-10-03 17:46:39 +00:00
Gabriel Ebner
dcd5580909 tptp: 6.4.0 -> 7.0.0 2017-10-02 11:46:33 +02:00
John Ericson
f037625f87 Merge remote-tracking branch 'upstream/staging' into deps-reorg 2017-09-28 12:32:57 -04:00
Tuomas Tynkkynen
4acb425c39 darwin: Disable yet another bunch of packages never having built successfully
cjdns: https://hydra.nixos.org/build/61134279
jonprl: https://hydra.nixos.org/build/61123711
mate.libmatemixer: https://hydra.nixos.org/build/61126968
dirac: https://hydra.nixos.org/build/61132432
idnkit: https://hydra.nixos.org/build/61123544
trousers: https://hydra.nixos.org/build/61109766
packetdrill: https://hydra.nixos.org/build/61116190
osm2pgsql: https://hydra.nixos.org/build/61118017
nawk: https://hydra.nixos.org/build/61139000
2017-09-22 21:16:39 +03:00
Vincent Laporte
3b7c68615e abella: fix build with OCaml ≥ 4.03 2017-09-22 03:32:06 +00:00
John Ericson
531e4b80c9 misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs
Only acts on one-line dependency lists.
2017-09-21 15:49:53 -04:00
Franz Pletz
b19fa00e3e
Revert "mcrl2: force use of gcc5 to prevent compilation errors"
This reverts commit 5e5e57b57b.

Already fixed with edd94f5fcd.
2017-09-15 21:51:35 +02:00
Gabriel Ebner
aad00e35db lean: 3.2.0 -> 3.3.0 2017-09-15 08:48:02 +02:00
Vincent Laporte
cc5491d02c proverif: 1.95 -> 1.97pl1 2017-09-13 20:01:55 +02:00
Maarten Hoogendoorn
5e5e57b57b mcrl2: force use of gcc5 to prevent compilation errors 2017-09-10 15:09:46 +02:00
Markus Mueller
edd94f5fcd mcrl2: 201409 -> 201707 2017-09-08 18:26:25 +02:00
Théo Zimmermann
9efd7a9b6e coq_8_7: init at 8.7+beta1 2017-09-06 21:16:41 +02:00
Théo Zimmermann
a26bbe547e coq: fetch source from GitHub 2017-09-06 21:16:41 +02:00
Gabriel Ebner
b2eff3c60d eprover: 1.9.1 -> 2.0 2017-09-05 13:59:07 +02:00
Austin Seipp
54ae0aa1b0 z3_opt: remove and replace with z3
Z3 has supported optimization features since the 4.4.x release, so this can be
removed.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Austin Seipp
583ebc086c yices: now under GPLv3
This means Hydra can build it now!

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Will Dietz
c8f2e3f95f cvc3: Add gcc6 patch from Gentoo.
https://gitweb.gentoo.org/repo/gentoo.git/plain/sci-mathematics/cvc3/files/cvc3-2.4.1-gccv6-fix.patch
2017-08-29 13:48:09 -05:00
Lukas Werling
f0a1ab78b4 meson/ninja: add setup hooks (#28444)
* Add setupHook for meson/ninja build

* libhttpseverywhere: Use meson/ninja setupHooks

* jamomacore: Remove superfluous ninja buildInput

* Remove obsolete ninja buildPhases

These are all handled by ninja's setup hook.

* lean2, xcbuild: fix build with ninja setup hook

Ninja is a runtime dependency here. However, cmake can generate Ninja
build files as well to satisfy the setup hook.

* qtwebengine: fix build with ninja setup hook
2017-08-27 19:42:21 +02:00
Will Dietz
db66c996bf yices: 2.5.2 -> 2.5.3
Move to github URL, homepage seems to be down currently.
2017-08-27 10:10:48 -05:00
Will Dietz
3ab85383a0 libpoly: 0.1.3 -> 0.1.4 2017-08-27 10:10:47 -05:00
Gabriel Ebner
7da15a071d open-wbo: init at 2.0 2017-08-20 10:19:46 +02:00
Gabriel Ebner
acf01cbc6c lean2: 2016-11-29 -> 2017-07-22
This will also fix the build issues with GCC 6.
2017-08-19 15:24:35 +02:00
Matthew Bauer
b3d8c08a55 acgtk: fix homepage url 2017-08-17 15:04:37 -07:00
Matthew Bauer
99c868c010 use https://github.com for all homepages
GitHub does a redirect to https:// when you use http://

repology complains with:

“Homepage link "https://github.com/…" is dead (HTTP error 404) for more than a month.”

This will fix some of them (not all though)
2017-08-17 14:53:40 -07:00
Frederik Rietdijk
6e386925ac Merge pull request #28229 from jpierre03/pr-alt-ergo
alt-ergo: use https instead of http to fetch archive
2017-08-13 22:01:59 +02:00
Frederik Rietdijk
13bbaee21d Merge pull request #27881 from mimadrid/fix/http-https
Update homepage attributes: http -> https
2017-08-13 21:53:20 +02:00
Jean-Pierre PRUNARET
184d2e7977 alt-ergo: use https instead of http to fetch archive 2017-08-13 13:26:30 +02:00
Will Dietz
fbb6b90ed0 yices: 2.5.1 -> 2.5.2 2017-08-12 13:02:33 -05:00
Théo Zimmermann
057ffcf0dd coq: adding myself to the maintainers 2017-08-04 19:52:55 +02:00
Théo Zimmermann
b25d65e051 coq: use camlp5_strict
The versions of Coq available through this expression do not actually
require camlp5_transitional. We drop this dependency to see if, in the
future, the package camlp5_transitional can be removed from nixpkgs.
2017-08-04 19:52:54 +02:00
Théo Zimmermann
c0dca2fb00 coq: 8.6 -> 8.6.1 2017-08-04 19:52:51 +02:00
mimadrid
09e0cc7cc7
Update homepage attributes: http -> https
Homepage link "http://.../" is a permanent redirect to "https://.../" and should be updated
https://repology.org/repository/nix_stable/problems
2017-08-03 11:56:15 +02:00
Silvan Mosberger
f5fa5fa4d6 pkgs: refactor needless quoting of homepage meta attribute (#27809)
* pkgs: refactor needless quoting of homepage meta attribute

A lot of packages are needlessly quoting the homepage meta attribute
(about 1400, 22%), this commit refactors all of those instances.

* pkgs: Fixing some links that were wrongfully unquoted in the previous
commit

* Fixed some instances
2017-08-01 22:03:30 +02:00
John Wiegley
ea8798acc6
coq2html: New expression 2017-08-01 09:30:20 -07:00
Peter Hoeg
45248be2aa cryptominisat: use new xxd package instead of vim 2017-07-24 09:37:58 +08:00