The Z3 source code is effectively compiled into two completely separate
objects: the z3 binary file, and the libz3.so library -- but the binary is not
linked against the shared library, it simply incorporates all of the object
files. The Z3 code base results in an ~25MB object on x86_64-linux. As a
result, splitting bin/ and lib/ results in a 50% reduction in closure size.
(The include/ directory is also surprisingly large at .5MB...)
This also splits the python API into a completely separate .python attribute,
as well.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
These have been submitted upstream,
but seconds before writing this message
so naturally no upstream response "yet" :).
Regardless of response, fetch patches
from the corresponding PR's for context
and of course hopefully they'll
be included in next version.
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/stellarium/versions.
These checks were done:
- built on NixOS
- Warning: no invocation of /nix/store/2c607ylvxs69nbr99ly1bgcb0bbk47xf-stellarium-0.18.1/bin/stellarium had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/2c607ylvxs69nbr99ly1bgcb0bbk47xf-stellarium-0.18.1/bin/.stellarium-wrapped had a zero exit code or showed the expected version
- 0 of 2 passed binary check by having a zero exit code.
- 0 of 2 passed binary check by having the new version present in output.
- found 0.18.1 with grep in /nix/store/2c607ylvxs69nbr99ly1bgcb0bbk47xf-stellarium-0.18.1
- directory tree listing: https://gist.github.com/dd98359fb1214ae24bd70e291c1bc33d
- du listing: https://gist.github.com/67baedda5ffc1ad0aa064239cb503c2b
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/clingo/versions.
Version release notes (from GitHub):
# Packages
- The easiest way to obtain Python enabled clingo packages is using [Anaconda][ana]. Packages are available in the [Potassco channel][pch]. First [install either Anaconda or Miniconda][ins] and then run: `conda install -c potassco clingo`.
- Packages for clingo are available in the Linux distributions [Debian][deb], [Ubuntu][ubu], and [Arch Linux (AUR)][aur].
- For Mac OS X, clingo packages are available in [homebrew][hbr] and [macports][mac].
# Changes
* change C API to use numeric instead of symbolic literals
* affects assumptions and assigning/releasing externals (breaks backward compatibility)
* added overloads to C++, python and lua API to support both numeric and symbolic version (preserves backward compatibility for most code)
* the python, C and C++ APIs now allow for customizing clingo by implementing a custom main function but reusing the rest of the application including the standard output
* add API function to detect conflicting programs
* add message logger to python and lua interface
* add support for primes in the beginning of identifiers and variable names
* add per solver registration of watches during propagator initialization
* add a directive to selectivel suppress undefined atom warnings
* add support for user defined statistics
* add _to_c functions for python API to be able to call C functions from python
* only create ground representations for requested program parts when grounding (#71)
* improve program observer (#19)
* support for binary, octal, and hexadecimal numbers (#65)
* the backend has to be opened/closed now
* release python's GIL while grounding (#82)
* TruthValue.{True,False} becomes TruthValue.{\_True,\_False} in python API
* improve API and it's documentation
[deb]: https://www.debian.org/
[ubu]: https://www.ubuntu.com/
[aur]: https://aur.archlinux.org/
[hbr]: https://brew.sh/
[mac]: https://www.macports.org/
[ana]: https://conda.io
[pch]: https://anaconda.org/potassco/clingo
[ins]: https://conda.io/docs/user-guide/install/index.html
These checks were done:
- built on NixOS
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/lpconvert passed the binary check.
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/clasp passed the binary check.
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/reify passed the binary check.
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/gringo passed the binary check.
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/clingo passed the binary check.
- 5 of 5 passed binary check by having a zero exit code.
- 0 of 5 passed binary check by having the new version present in output.
- found 5.3.0 with grep in /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0
- directory tree listing: https://gist.github.com/bba2eaf1d132fbdd88a2710a6030c419
- du listing: https://gist.github.com/230340bfa02557290a60cfc6d2e7e977
Removes the version pinning for arb and pynac by backporting the
upstream (sage) package upgrades. This necessitates a new patch for arb,
which was however already proposed and accepted upstream.
* treewide: http -> https sources
This updates the source urls of all top-level packages from http to
https where possible.
* buildtorrent: fix url and tab -> spaces
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/gromacs/versions.
These checks were done:
- built on NixOS
- Warning: no invocation of /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/GMXRC had a zero exit code or showed the expected version
- /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/GMXRC.bash passed the binary check.
- /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/GMXRC.zsh passed the binary check.
- Warning: no invocation of /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/GMXRC.csh had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/demux.pl had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/xplor2gmx.pl had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/gmx-completion.bash had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/gmx-completion-gmx.bash had a zero exit code or showed the expected version
- /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/gmx passed the binary check.
- 3 of 9 passed binary check by having a zero exit code.
- 0 of 9 passed binary check by having the new version present in output.
- found 2018.2 with grep in /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2
- directory tree listing: https://gist.github.com/1679f0362dfcc7299a6d5b8d9e76c14e
- du listing: https://gist.github.com/2f848bb0fe181676c17b61a9d5a94953
After #28029 it is necessary to add "strictoverflow" to the disabled
hardening flags. That probably has something to do with the `-O3` option
in palps makefile.
This commit also adds a test to check for this regression (as it only
occured at runtime).
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/verilator/versions.
These checks were done:
- built on NixOS
- /nix/store/gnmapahqvab762fi885bwhlfhxvpfs81-verilator-3.924/bin/verilator_bin passed the binary check.
- /nix/store/gnmapahqvab762fi885bwhlfhxvpfs81-verilator-3.924/bin/verilator_bin_dbg passed the binary check.
- /nix/store/gnmapahqvab762fi885bwhlfhxvpfs81-verilator-3.924/bin/verilator_coverage_bin_dbg passed the binary check.
- /nix/store/gnmapahqvab762fi885bwhlfhxvpfs81-verilator-3.924/bin/verilator passed the binary check.
- /nix/store/gnmapahqvab762fi885bwhlfhxvpfs81-verilator-3.924/bin/verilator_coverage passed the binary check.
- Warning: no invocation of /nix/store/gnmapahqvab762fi885bwhlfhxvpfs81-verilator-3.924/bin/verilator_profcfunc had a zero exit code or showed the expected version
- 5 of 6 passed binary check by having a zero exit code.
- 0 of 6 passed binary check by having the new version present in output.
- found 3.924 with grep in /nix/store/gnmapahqvab762fi885bwhlfhxvpfs81-verilator-3.924
- directory tree listing: https://gist.github.com/eebd214973454154b716fc6a9556b922
- du listing: https://gist.github.com/cb78abec038b5abdae8004ea1edcefc0
This adds a new package: OpenSpace, an open source astrovisualization
project, and one of its dependencies: SOIL (Simple OpenGL Image
Library).
This kind of works for me, but please note that this build is not very
usable for now. This is a first attempt. Also, Linux doesn't seem to
be well supported upstream, hence the various patches (I will open an
issue upstream to discuss them).
Squashed commits:
openspace: fetch upstream glm "patch"
openspace: add missing dependency (libXxf86vm)
soil: mesa -> mesa_noglu
Bumped to the latest version available.
Also tested the `web.archive.org` backup to avoid broken downloads when
the tarball is removed from the official download mirror.
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/gromacs/versions.
These checks were done:
- built on NixOS
- Warning: no invocation of /nix/store/a0ab5ixcsgcj9pzkmysfa46dydbbzsyy-gromacs-2018.1/bin/GMXRC had a zero exit code or showed the expected version
- /nix/store/a0ab5ixcsgcj9pzkmysfa46dydbbzsyy-gromacs-2018.1/bin/GMXRC.bash passed the binary check.
- /nix/store/a0ab5ixcsgcj9pzkmysfa46dydbbzsyy-gromacs-2018.1/bin/GMXRC.zsh passed the binary check.
- Warning: no invocation of /nix/store/a0ab5ixcsgcj9pzkmysfa46dydbbzsyy-gromacs-2018.1/bin/GMXRC.csh had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/a0ab5ixcsgcj9pzkmysfa46dydbbzsyy-gromacs-2018.1/bin/demux.pl had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/a0ab5ixcsgcj9pzkmysfa46dydbbzsyy-gromacs-2018.1/bin/xplor2gmx.pl had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/a0ab5ixcsgcj9pzkmysfa46dydbbzsyy-gromacs-2018.1/bin/gmx-completion.bash had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/a0ab5ixcsgcj9pzkmysfa46dydbbzsyy-gromacs-2018.1/bin/gmx-completion-gmx.bash had a zero exit code or showed the expected version
- /nix/store/a0ab5ixcsgcj9pzkmysfa46dydbbzsyy-gromacs-2018.1/bin/gmx passed the binary check.
- 3 of 9 passed binary check by having a zero exit code.
- 0 of 9 passed binary check by having the new version present in output.
- found 2018.1 with grep in /nix/store/a0ab5ixcsgcj9pzkmysfa46dydbbzsyy-gromacs-2018.1
- directory tree listing: https://gist.github.com/4d089bde03168c17ad10db514f47d339
- du listing: https://gist.github.com/5dd10f02ed60d442ec148efcf18c7661
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/ngspice/versions.
These checks were done:
- built on NixOS
- Warning: no invocation of /nix/store/7mjpw971bh37wil41hin4ssn290wr3ad-ngspice-28/bin/cmpp had a zero exit code or showed the expected version
- /nix/store/7mjpw971bh37wil41hin4ssn290wr3ad-ngspice-28/bin/ngspice passed the binary check.
- 1 of 2 passed binary check by having a zero exit code.
- 0 of 2 passed binary check by having the new version present in output.
- found 28 with grep in /nix/store/7mjpw971bh37wil41hin4ssn290wr3ad-ngspice-28
- directory tree listing: https://gist.github.com/890c9d6d1b1aa9e86b2f4c8ddf86a36d
- du listing: https://gist.github.com/099b236d47fee839749355d18a841493
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/gtkwave/versions.
These checks were done:
- built on NixOS
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/evcd2vcd passed the binary check.
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/fst2vcd passed the binary check.
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/vcd2fst passed the binary check.
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/fstminer passed the binary check.
- Warning: no invocation of /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/ghwdump had a zero exit code or showed the expected version
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/lxt2miner passed the binary check.
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/lxt2vcd passed the binary check.
- Warning: no invocation of /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/shmidcat had a zero exit code or showed the expected version
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/vcd2lxt passed the binary check.
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/vcd2lxt2 passed the binary check.
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/vcd2vzt passed the binary check.
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/vzt2vcd passed the binary check.
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/vztminer passed the binary check.
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/gtkwave passed the binary check.
- Warning: no invocation of /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/twinwave had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/rtlbrowse had a zero exit code or showed the expected version
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/vermin passed the binary check.
- 13 of 17 passed binary check by having a zero exit code.
- 0 of 17 passed binary check by having the new version present in output.
- found 3.3.91 with grep in /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91
- directory tree listing: https://gist.github.com/3ce8b90b2a4e815255bced6a94d99818
- du listing: https://gist.github.com/8571bbab590243bbfadf05271e188f20
Lots of packages are missing versions in their name. This adds them
where appropriate. These were found with this command:
$ nix-env -qa -f. | grep -v '\-[0-9A-Za-z.-_+]*$' | grep -v '^hook$'
See issue #41007.
