diff options
author | Alyssa Ross <hi@alyssa.is> | 2023-06-16 06:56:35 +0000 |
---|---|---|
committer | Alyssa Ross <hi@alyssa.is> | 2023-06-16 06:56:35 +0000 |
commit | 99fcaeccb89621dd492203ce1f2d551c06f228ed (patch) | |
tree | 41cb730ae07383004789779b0f6e11cb3f4642a3 /nixpkgs/pkgs/development/ocaml-modules/mlgmp | |
parent | 59c5f5ac8682acc13bb22bc29c7cf02f7d75f01f (diff) | |
parent | 75a5ebf473cd60148ba9aec0d219f72e5cf52519 (diff) | |
download | nixlib-99fcaeccb89621dd492203ce1f2d551c06f228ed.tar nixlib-99fcaeccb89621dd492203ce1f2d551c06f228ed.tar.gz nixlib-99fcaeccb89621dd492203ce1f2d551c06f228ed.tar.bz2 nixlib-99fcaeccb89621dd492203ce1f2d551c06f228ed.tar.lz nixlib-99fcaeccb89621dd492203ce1f2d551c06f228ed.tar.xz nixlib-99fcaeccb89621dd492203ce1f2d551c06f228ed.tar.zst nixlib-99fcaeccb89621dd492203ce1f2d551c06f228ed.zip |
Merge branch 'nixos-unstable' of https://github.com/NixOS/nixpkgs
Conflicts: nixpkgs/nixos/modules/config/console.nix nixpkgs/nixos/modules/services/mail/mailman.nix nixpkgs/nixos/modules/services/mail/public-inbox.nix nixpkgs/nixos/modules/services/mail/rss2email.nix nixpkgs/nixos/modules/services/networking/ssh/sshd.nix nixpkgs/pkgs/applications/networking/instant-messengers/dino/default.nix nixpkgs/pkgs/applications/networking/irc/weechat/default.nix nixpkgs/pkgs/applications/window-managers/sway/default.nix nixpkgs/pkgs/build-support/go/module.nix nixpkgs/pkgs/build-support/rust/build-rust-package/default.nix nixpkgs/pkgs/development/interpreters/python/default.nix nixpkgs/pkgs/development/node-packages/overrides.nix nixpkgs/pkgs/development/tools/b4/default.nix nixpkgs/pkgs/servers/dict/dictd-db.nix nixpkgs/pkgs/servers/mail/public-inbox/default.nix nixpkgs/pkgs/tools/security/pinentry/default.nix nixpkgs/pkgs/tools/text/unoconv/default.nix nixpkgs/pkgs/top-level/all-packages.nix
Diffstat (limited to 'nixpkgs/pkgs/development/ocaml-modules/mlgmp')
-rw-r--r-- | nixpkgs/pkgs/development/ocaml-modules/mlgmp/default.nix | 42 |
1 files changed, 0 insertions, 42 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/mlgmp/default.nix b/nixpkgs/pkgs/development/ocaml-modules/mlgmp/default.nix deleted file mode 100644 index a396549d76f4..000000000000 --- a/nixpkgs/pkgs/development/ocaml-modules/mlgmp/default.nix +++ /dev/null @@ -1,42 +0,0 @@ -{stdenv, lib, fetchurl, ocaml, findlib, gmp, mpfr, ncurses }: - -if lib.versionAtLeast ocaml.version "4.03" -then throw "mlgmp is not available for OCaml ${ocaml.version}" else - -let - pname = "mlgmp"; -in - -stdenv.mkDerivation rec { - name = "${pname}-${version}"; - version = "20120224"; - - src = fetchurl { - url = "http://www-verimag.imag.fr/~monniaux/download/${pname}_${version}.tar.gz"; - sha256 = "3ce1a53fa452ff5a9ba618864d3bc46ef32190b57202d1e996ca7df837ad4f24"; - }; - - makeFlags = [ - "DESTDIR=$(out)/lib/ocaml/${ocaml.version}/site-lib/gmp" - ]; - - preConfigure = "make clean"; - nativeBuildInputs = [ocaml findlib ]; - buildInputs = [ gmp mpfr ncurses]; - - strictDeps = true; - - createFindlibDestdir = true; - - propagatedbuildInputs = [gmp mpfr ncurses]; - - postInstall = '' - cp ${./META} $out/lib/ocaml/${ocaml.version}/site-lib/gmp/META - ''; - - meta = { - homepage = "http://opam.ocamlpro.com/pkg/mlgmp.20120224.html"; - description = "OCaml bindings to GNU MP library"; - license = "Free software ?"; - }; -} |