Commit Graph

6 Commits

Author SHA1 Message Date
Ulrik Strid
661ee6b468 ocamlPackages treewide: Add missing inputs 2022-03-25 13:55:18 +01:00
Ulrik Strid
a13cdfe520 ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs
To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild.
This makes some closures significantly smaller and makes cross compilation easier
2022-02-24 14:39:27 +01:00
Felix Bühler
464e9792ff
treewide: rename name to pname&version (#158454)
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2022-02-10 01:28:00 +01:00
sternenseemann
4e42cac49d ocamlPackages: stdenv.lib → lib
This change was produced by searching for remaining occurrences of
stdenv.lib and replacing them manually.

Reference #108938.
2021-01-12 16:33:18 +01:00
volth
7b8fb5c06c treewide: remove redundant quotes 2019-09-08 23:38:31 +00:00
Vincent Laporte
b6ca91fba5 ocamlPackages.elina: init at 1.1
ELINA contains optimized implementations of popular numerical abstract domains
such as Polyhedra, Octagon and Zones for static analysis.

homepage: http://elina.ethz.ch/
2018-12-16 08:54:51 +00:00