mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-01-20 11:53:51 +00:00
e0464e4788
In preparation for the deprecation of `stdenv.isX`. These shorthands are not conducive to cross-compilation because they hide the platforms. Darwin might get cross-compilation for which the continued usage of `stdenv.isDarwin` will get in the way One example of why this is bad and especially affects compiler packages https://www.github.com/NixOS/nixpkgs/pull/343059 There are too many files to go through manually but a treewide should get users thinking when they see a `hostPlatform.isX` in a place where it doesn't make sense. ``` fd --type f "\.nix" | xargs sd --fixed-strings "stdenv.is" "stdenv.hostPlatform.is" fd --type f "\.nix" | xargs sd --fixed-strings "stdenv'.is" "stdenv'.hostPlatform.is" fd --type f "\.nix" | xargs sd --fixed-strings "clangStdenv.is" "clangStdenv.hostPlatform.is" fd --type f "\.nix" | xargs sd --fixed-strings "gccStdenv.is" "gccStdenv.hostPlatform.is" fd --type f "\.nix" | xargs sd --fixed-strings "stdenvNoCC.is" "stdenvNoCC.hostPlatform.is" fd --type f "\.nix" | xargs sd --fixed-strings "inherit (stdenv) is" "inherit (stdenv.hostPlatform) is" fd --type f "\.nix" | xargs sd --fixed-strings "buildStdenv.is" "buildStdenv.hostPlatform.is" fd --type f "\.nix" | xargs sd --fixed-strings "effectiveStdenv.is" "effectiveStdenv.hostPlatform.is" fd --type f "\.nix" | xargs sd --fixed-strings "originalStdenv.is" "originalStdenv.hostPlatform.is" ```
37 lines
977 B
Nix
37 lines
977 B
Nix
{ stdenv, lib, fetchurl, gnumake42, perl, gmp, mpfr, ocaml, findlib, camlidl, apron }:
|
|
|
|
stdenv.mkDerivation rec {
|
|
version = "1.1";
|
|
pname = "ocaml${ocaml.version}-elina";
|
|
src = fetchurl {
|
|
url = "http://files.sri.inf.ethz.ch/elina-${version}.tar.gz";
|
|
sha256 = "1nymykskq1yx87y4xl6hl9i4q6kv0qaq25rniqgl1bfn883p1ysc";
|
|
};
|
|
|
|
# fails with make 4.4
|
|
nativeBuildInputs = [ gnumake42 perl ocaml findlib camlidl ];
|
|
|
|
propagatedBuildInputs = [ apron gmp mpfr ];
|
|
|
|
strictDeps = true;
|
|
|
|
prefixKey = "--prefix ";
|
|
configureFlags = [
|
|
"--use-apron"
|
|
"--use-opam"
|
|
"--apron-prefix" apron
|
|
]
|
|
++ lib.optional stdenv.hostPlatform.isDarwin "--absolute-dylibs"
|
|
;
|
|
|
|
createFindlibDestdir = true;
|
|
|
|
meta = {
|
|
description = "ETH LIbrary for Numerical Analysis";
|
|
homepage = "http://elina.ethz.ch/";
|
|
license = lib.licenses.lgpl3;
|
|
maintainers = [ lib.maintainers.vbgl ];
|
|
platforms = lib.intersectLists ocaml.meta.platforms lib.platforms.x86;
|
|
};
|
|
}
|