diff options
Diffstat (limited to 'pkgs/top-level/all-packages.nix')
| -rw-r--r-- | pkgs/top-level/all-packages.nix | 192 |
1 files changed, 110 insertions, 82 deletions
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 43957a6700de..5ace2e0cd54a 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -18,7 +18,7 @@ with pkgs; # A stdenv capable of building 32-bit binaries. On x86_64-linux, # it uses GCC compiled with multilib support; on i686-linux, it's # just the plain stdenv. - stdenv_32bit = lowPrio (if hostPlatform.is32bit then stdenv else multiStdenv); + stdenv_32bit = lowPrio (if stdenv.hostPlatform.is32bit then stdenv else multiStdenv); stdenvNoCC = stdenv.override { cc = null; }; @@ -1744,7 +1744,7 @@ with pkgs; chunksync = callPackage ../tools/backup/chunksync { }; cipherscan = callPackage ../tools/security/cipherscan { - openssl = if stdenv.system == "x86_64-linux" + openssl = if stdenv.hostPlatform.system == "x86_64-linux" then openssl-chacha else openssl; }; @@ -3267,6 +3267,8 @@ with pkgs; inboxer = callPackage ../applications/networking/mailreaders/inboxer { }; + incron = callPackage ../tools/system/incron { }; + inetutils = callPackage ../tools/networking/inetutils { }; infiniband-diags = callPackage ../tools/networking/infiniband-diags { }; @@ -4292,6 +4294,8 @@ with pkgs; notify-osd = callPackage ../applications/misc/notify-osd { }; + notify-osd-customizable = callPackage ../applications/misc/notify-osd-customizable { }; + nox = callPackage ../tools/package-management/nox { }; nq = callPackage ../tools/system/nq { }; @@ -5564,13 +5568,6 @@ with pkgs; tor-arm = callPackage ../tools/security/tor/tor-arm.nix { }; - # added 2017-04-05 - torbrowser = /* builtins.trace '' - [1;31mWARNING[0m: torbrowser package was renamed to tor-browser-bundle-bin. - - Also, consider using nix-built tor-browser-unwrapped package instead. Read its longDescription. - '' */ tor-browser-bundle-bin; - tor-browser-bundle-bin = callPackage ../applications/networking/browsers/tor-browser-bundle-bin { }; tor-browser-bundle = callPackage ../applications/networking/browsers/tor-browser-bundle { @@ -6058,7 +6055,9 @@ with pkgs; wv2 = callPackage ../tools/misc/wv2 { }; - wyrd = callPackage ../tools/misc/wyrd { }; + wyrd = callPackage ../tools/misc/wyrd { + ocamlPackages = ocaml-ng.ocamlPackages_4_05; + }; x86info = callPackage ../os-specific/linux/x86info { }; @@ -6423,14 +6422,14 @@ with pkgs; cc = gcc; # Remove libcxx/libcxxabi, and add clang for AS if on darwin (it uses # clang's internal assembler). - extraBuildInputs = lib.optional hostPlatform.isDarwin clang.cc; + extraBuildInputs = lib.optional stdenv.hostPlatform.isDarwin clang.cc; }; gcc7Stdenv = overrideCC gccStdenv gcc7; gcc8Stdenv = overrideCC gccStdenv gcc8; wrapCCMulti = cc: - if system == "x86_64-linux" then let + if stdenv.targetPlatform.system == "x86_64-linux" then let # Binutils with glibc multi bintools = cc.bintools.override { libc = glibc_multi; @@ -6450,16 +6449,16 @@ with pkgs; extraBuildCommands = '' echo "dontMoveLib64=1" >> $out/nix-support/setup-hook ''; - }) else throw "Multilib ${cc.name} not supported on ‘${system}’"; + }) else throw "Multilib ${cc.name} not supported for ‘${stdenv.targetPlatform.system}’"; wrapClangMulti = clang: - if system == "x86_64-linux" then + if stdenv.targetPlatform.system == "x86_64-linux" then callPackage ../development/compilers/llvm/multi.nix { inherit clang; gcc32 = pkgsi686Linux.gcc; gcc64 = pkgs.gcc; } - else throw "Multilib ${clang.cc.name} not supported on '${system}'"; + else throw "Multilib ${clang.cc.name} not supported for '${stdenv.targetPlatform.system}'"; gcc_multi = wrapCCMulti gcc; clang_multi = wrapClangMulti clang; @@ -6480,11 +6479,11 @@ with pkgs; # The GCC used to build libc for the target platform. Normal gccs will be # built with, and use, that cross-compiled libc. - gccCrossStageStatic = assert targetPlatform != buildPlatform; let + gccCrossStageStatic = assert stdenv.targetPlatform != stdenv.hostPlatform; let libcCross1 = - if targetPlatform.libc == "msvcrt" then targetPackages.windows.mingw_w64_headers - else if targetPlatform.libc == "libSystem" then darwin.xcode - else if targetPlatform.libc == "musl" then musl + if stdenv.targetPlatform.libc == "msvcrt" then targetPackages.windows.mingw_w64_headers + else if stdenv.targetPlatform.libc == "libSystem" then darwin.xcode + else if stdenv.targetPlatform.libc == "musl" then musl else null; binutils1 = wrapBintoolsWith { bintools = binutils-unwrapped; @@ -6515,7 +6514,7 @@ with pkgs; # PGO seems to speed up compilation by gcc by ~10%, see #445 discussion profiledCompiler = with stdenv; (!isSunOS && !isDarwin && (isi686 || isx86_64)); - libcCross = if targetPlatform != buildPlatform then libcCross else null; + libcCross = if stdenv.targetPlatform != stdenv.buildPlatform then libcCross else null; isl = if !stdenv.isDarwin then isl_0_14 else null; cloog = if !stdenv.isDarwin then cloog else null; @@ -6528,7 +6527,7 @@ with pkgs; # PGO seems to speed up compilation by gcc by ~10%, see #445 discussion profiledCompiler = with stdenv; (!isDarwin && (isi686 || isx86_64)); - libcCross = if targetPlatform != buildPlatform then libcCross else null; + libcCross = if stdenv.targetPlatform != stdenv.buildPlatform then libcCross else null; isl = if !stdenv.isDarwin then isl_0_11 else null; @@ -6541,7 +6540,7 @@ with pkgs; # PGO seems to speed up compilation by gcc by ~10%, see #445 discussion profiledCompiler = with stdenv; (!isDarwin && (isi686 || isx86_64)); - libcCross = if targetPlatform != buildPlatform then libcCross else null; + libcCross = if stdenv.targetPlatform != stdenv.buildPlatform then libcCross else null; isl = if !stdenv.isDarwin then isl_0_14 else null; })); @@ -6552,7 +6551,7 @@ with pkgs; # PGO seems to speed up compilation by gcc by ~10%, see #445 discussion profiledCompiler = with stdenv; (!isDarwin && (isi686 || isx86_64)); - libcCross = if targetPlatform != buildPlatform then libcCross else null; + libcCross = if stdenv.targetPlatform != stdenv.buildPlatform then libcCross else null; isl = if !stdenv.isDarwin then isl_0_14 else null; })); @@ -6563,7 +6562,7 @@ with pkgs; # PGO seems to speed up compilation by gcc by ~10%, see #445 discussion profiledCompiler = with stdenv; (!isDarwin && (isi686 || isx86_64)); - libcCross = if targetPlatform != buildPlatform then libcCross else null; + libcCross = if stdenv.targetPlatform != stdenv.buildPlatform then libcCross else null; isl = if !stdenv.isDarwin then isl_0_17 else null; })); @@ -6574,7 +6573,7 @@ with pkgs; # PGO seems to speed up compilation by gcc by ~10%, see #445 discussion profiledCompiler = with stdenv; (!isDarwin && (isi686 || isx86_64)); - libcCross = if targetPlatform != buildPlatform then libcCross else null; + libcCross = if stdenv.targetPlatform != stdenv.buildPlatform then libcCross else null; isl = if !stdenv.isDarwin then isl_0_17 else null; })); @@ -6585,7 +6584,7 @@ with pkgs; # PGO seems to speed up compilation by gcc by ~10%, see #445 discussion profiledCompiler = with stdenv; (!isDarwin && (isi686 || isx86_64)); - libcCross = if targetPlatform != buildPlatform then libcCross else null; + libcCross = if stdenv.targetPlatform != stdenv.buildPlatform then libcCross else null; isl = isl_0_17; })); @@ -6724,7 +6723,7 @@ with pkgs; graphviz = graphviz-nox; }); - inherit (ocamlPackages.haxe) haxe_3_2 haxe_3_4; + inherit (ocaml-ng.ocamlPackages_4_05.haxe) haxe_3_2 haxe_3_4; haxe = haxe_3_4; haxePackages = recurseIntoAttrs (callPackage ./haxe-packages.nix { }); inherit (haxePackages) hxcpp; @@ -6741,13 +6740,9 @@ with pkgs; mono = mono46; }; - fstar = callPackage ../development/compilers/fstar { - ocamlPackages = ocaml-ng.ocamlPackages_4_06; - }; + fstar = callPackage ../development/compilers/fstar { }; - pyre = callPackage ../development/tools/pyre { - ocamlPackages = ocaml-ng.ocamlPackages_4_06; - }; + pyre = callPackage ../development/tools/pyre { }; dotnetPackages = recurseIntoAttrs (callPackage ./dotnet-packages.nix {}); @@ -6915,6 +6910,18 @@ with pkgs; llvm = llvm_39; }; + julia_07 = callPackage ../development/compilers/julia/0.7.nix { + gmp = gmp6; + openblas = openblasCompat; + inherit (darwin.apple_sdk.frameworks) CoreServices ApplicationServices; + }; + + julia_10 = callPackage ../development/compilers/julia/1.0.nix { + gmp = gmp6; + openblas = openblasCompat; + inherit (darwin.apple_sdk.frameworks) CoreServices ApplicationServices; + }; + jwasm = callPackage ../development/compilers/jwasm { }; kotlin = callPackage ../development/compilers/kotlin { }; @@ -7096,7 +7103,9 @@ with pkgs; nvidia_cg_toolkit = callPackage ../development/compilers/nvidia-cg-toolkit { }; - obliv-c = callPackage ../development/compilers/obliv-c {}; + obliv-c = callPackage ../development/compilers/obliv-c { + ocamlPackages = ocaml-ng.ocamlPackages_4_05; + }; ocaml-ng = callPackage ./ocaml-packages.nix { }; ocaml = ocamlPackages.ocaml; @@ -7121,7 +7130,9 @@ with pkgs; opaline = callPackage ../development/tools/ocaml/opaline { }; - opam = callPackage ../development/tools/ocaml/opam { }; + opam = callPackage ../development/tools/ocaml/opam { + inherit (ocaml-ng.ocamlPackages_4_05) ocaml; + }; picat = callPackage ../development/compilers/picat { stdenv = overrideCC stdenv gcc49; @@ -7286,13 +7297,13 @@ with pkgs; # Others should instead delegate to the next stage's choice with # `targetPackages.stdenv.cc.bintools`. This one is different just to # provide the default choice, avoiding infinite recursion. - bintools ? if targetPlatform.isDarwin then darwin.binutils else binutils + bintools ? if stdenv.targetPlatform.isDarwin then darwin.binutils else binutils , libc ? bintools.libc , ... } @ extraArgs: callPackage ../build-support/cc-wrapper (let self = { - nativeTools = targetPlatform == hostPlatform && stdenv.cc.nativeTools or false; - nativeLibc = targetPlatform == hostPlatform && stdenv.cc.nativeLibc or false; + nativeTools = stdenv.targetPlatform == stdenv.hostPlatform && stdenv.cc.nativeTools or false; + nativeLibc = stdenv.targetPlatform == stdenv.hostPlatform && stdenv.cc.nativeLibc or false; nativePrefix = stdenv.cc.nativePrefix or ""; noLibc = !self.nativeLibc && (self.libc == null); @@ -7308,12 +7319,12 @@ with pkgs; wrapBintoolsWith = { bintools - , libc ? if targetPlatform != hostPlatform then libcCross else stdenv.cc.libc + , libc ? if stdenv.targetPlatform != stdenv.hostPlatform then libcCross else stdenv.cc.libc , ... } @ extraArgs: callPackage ../build-support/bintools-wrapper (let self = { - nativeTools = targetPlatform == hostPlatform && stdenv.cc.nativeTools or false; - nativeLibc = targetPlatform == hostPlatform && stdenv.cc.nativeLibc or false; + nativeTools = stdenv.targetPlatform == stdenv.hostPlatform && stdenv.cc.nativeTools or false; + nativeLibc = stdenv.targetPlatform == stdenv.hostPlatform && stdenv.cc.nativeLibc or false; nativePrefix = stdenv.cc.nativePrefix or ""; noLibc = (self.libc == null); @@ -7952,7 +7963,7 @@ with pkgs; binutils-unwrapped = callPackage ../development/tools/misc/binutils { # FHS sys dirs presumably only have stuff for the build platform - noSysDirs = (targetPlatform != buildPlatform) || noSysDirs; + noSysDirs = (stdenv.targetPlatform != stdenv.hostPlatform) || noSysDirs; }; binutils = wrapBintoolsWith { bintools = binutils-unwrapped; @@ -8095,7 +8106,9 @@ with pkgs; # Does not actually depend on Qt 5 inherit (kdeFrameworks) extra-cmake-modules kapidox kdoctools; - coccinelle = callPackage ../development/tools/misc/coccinelle { }; + coccinelle = callPackage ../development/tools/misc/coccinelle { + ocamlPackages = ocaml-ng.ocamlPackages_4_05; + }; cpptest = callPackage ../development/libraries/cpptest { }; @@ -8938,8 +8951,8 @@ with pkgs; bicgl = callPackage ../development/libraries/science/biology/bicgl { }; # TODO(@Ericson2314): Build bionic libc from source - bionic = assert hostPlatform.useAndroidPrebuilt; - androidenv."androidndkPkgs_${hostPlatform.ndkVer}".libraries; + bionic = assert stdenv.hostPlatform.useAndroidPrebuilt; + androidenv."androidndkPkgs_${stdenv.hostPlatform.ndkVer}".libraries; bobcat = callPackage ../development/libraries/bobcat { }; @@ -9518,14 +9531,14 @@ with pkgs; else if name == "uclibc" then targetPackages.uclibcCross else if name == "musl" then targetPackages.muslCross or muslCross else if name == "msvcrt" then targetPackages.windows.mingw_w64 or windows.mingw_w64 - else if targetPlatform.useiOSPrebuilt then targetPackages.darwin.iosSdkPkgs.libraries + else if stdenv.targetPlatform.useiOSPrebuilt then targetPackages.darwin.iosSdkPkgs.libraries else if name == "libSystem" then targetPackages.darwin.xcode else throw "Unknown libc"; - libcCross = assert targetPlatform != buildPlatform; libcCrossChooser targetPlatform.libc; + libcCross = assert stdenv.targetPlatform != stdenv.buildPlatform; libcCrossChooser stdenv.targetPlatform.libc; # Only supported on Linux, using glibc - glibcLocales = if hostPlatform.libc == "glibc" then callPackage ../development/libraries/glibc/locales.nix { } else null; + glibcLocales = if stdenv.hostPlatform.libc == "glibc" then callPackage ../development/libraries/glibc/locales.nix { } else null; glibcInfo = callPackage ../development/libraries/glibc/info.nix { }; @@ -9643,7 +9656,7 @@ with pkgs; gnu-config = callPackage ../development/libraries/gnu-config { }; - gnu-efi = if hostPlatform.isEfi + gnu-efi = if stdenv.hostPlatform.isEfi then callPackage ../development/libraries/gnu-efi { } else null; @@ -10105,7 +10118,7 @@ with pkgs; libb2 = callPackage ../development/libraries/libb2 { }; libbap = callPackage ../development/libraries/libbap { - inherit (ocamlPackages) bap ocaml findlib ctypes; + inherit (ocaml-ng.ocamlPackages_4_05) bap ocaml findlib ctypes; }; libbass = (callPackage ../development/libraries/audio/libbass { }).bass; @@ -10539,8 +10552,6 @@ with pkgs; libnfs = callPackage ../development/libraries/libnfs { }; - libnfsidmap = callPackage ../development/libraries/libnfsidmap { }; - libnice = callPackage ../development/libraries/libnice { }; libnsl = callPackage ../development/libraries/libnsl { }; @@ -10589,11 +10600,11 @@ with pkgs; # We also provide `libiconvReal`, which will always be a standalone libiconv, # just in case you want it regardless of platform. libiconv = - if (hostPlatform.libc == "glibc" || hostPlatform.libc == "musl") - then glibcIconv (if hostPlatform != buildPlatform + if (stdenv.hostPlatform.libc == "glibc" || stdenv.hostPlatform.libc == "musl") + then glibcIconv (if stdenv.hostPlatform != stdenv.buildPlatform then libcCross else stdenv.cc.libc) - else if hostPlatform.isDarwin + else if stdenv.hostPlatform.isDarwin then darwin.libiconv else libiconvReal; @@ -10610,7 +10621,7 @@ with pkgs; }; # On non-GNU systems we need GNU Gettext for libintl. - libintl = if hostPlatform.libc != "glibc" then gettext else null; + libintl = if stdenv.hostPlatform.libc != "glibc" then gettext else null; libid3tag = callPackage ../development/libraries/libid3tag { gperf = gperf_3_0; @@ -11139,7 +11150,7 @@ with pkgs; # Default derivation with libGL.so.1 to link into /run/opengl-drivers (if need) libGL_driver = libGLDarwinOr mesa_drivers; - libGLSupported = lib.elem system lib.platforms.mesaPlatforms; + libGLSupported = lib.elem stdenv.hostPlatform.system lib.platforms.mesaPlatforms; libGLDarwin = callPackage ../development/libraries/mesa-darwin { inherit (darwin.apple_sdk.frameworks) OpenGL; @@ -11253,7 +11264,7 @@ with pkgs; abiVersion = "6"; }; ncurses = - if hostPlatform.useiOSPrebuilt + if stdenv.hostPlatform.useiOSPrebuilt then null else callPackage ../development/libraries/ncurses { }; @@ -12412,21 +12423,21 @@ with pkgs; wxGTK28 = callPackage ../development/libraries/wxwidgets/2.8 { inherit (gnome2) GConf; - withMesa = lib.elem system lib.platforms.mesaPlatforms; + withMesa = lib.elem stdenv.hostPlatform.system lib.platforms.mesaPlatforms; }; wxGTK29 = callPackage ../development/libraries/wxwidgets/2.9 { inherit (gnome2) GConf; inherit (darwin.stubs) setfile; inherit (darwin.apple_sdk.frameworks) AGL Carbon Cocoa Kernel QuickTime; - withMesa = lib.elem system lib.platforms.mesaPlatforms; + withMesa = lib.elem stdenv.hostPlatform.system lib.platforms.mesaPlatforms; }; wxGTK30 = callPackage ../development/libraries/wxwidgets/3.0 { inherit (gnome2) GConf; inherit (darwin.stubs) setfile; inherit (darwin.apple_sdk.frameworks) AGL Carbon Cocoa Kernel QTKit; - withMesa = lib.elem system lib.platforms.mesaPlatforms; + withMesa = lib.elem stdenv.hostPlatform.system lib.platforms.mesaPlatforms; }; wxGTK31 = callPackage ../development/libraries/wxwidgets/3.1 {}; @@ -14215,7 +14226,6 @@ with pkgs; linuxPackages_custom = { version, src, configfile, allowImportFromDerivation ? true }: recurseIntoAttrs (linuxPackagesFor (pkgs.linuxManualConfig { inherit version src configfile stdenv allowImportFromDerivation; - inherit (stdenv) hostPlatform; })); # This serves as a test for linuxPackages_custom @@ -16866,7 +16876,9 @@ with pkgs; extra-packages = [ csound ]; }; - jackline = callPackage ../applications/networking/instant-messengers/jackline { }; + jackline = callPackage ../applications/networking/instant-messengers/jackline { + ocamlPackages = ocaml-ng.ocamlPackages_4_05; + }; slack = callPackage ../applications/networking/instant-messengers/slack { }; @@ -17470,7 +17482,9 @@ with pkgs; mjpg-streamer = callPackage ../applications/video/mjpg-streamer { }; - mldonkey = callPackage ../applications/networking/p2p/mldonkey { }; + mldonkey = callPackage ../applications/networking/p2p/mldonkey { + ocamlPackages = ocaml-ng.ocamlPackages_4_05; + }; MMA = callPackage ../applications/audio/MMA { }; @@ -17650,7 +17664,7 @@ with pkgs; }) murmur_git; mumble_overlay = callPackage ../applications/networking/mumble/overlay.nix { - mumble_i686 = if system == "x86_64-linux" + mumble_i686 = if stdenv.hostPlatform.system == "x86_64-linux" then pkgsi686Linux.mumble else null; }; @@ -18920,7 +18934,7 @@ with pkgs; unigine-valley = callPackage ../applications/graphics/unigine-valley { }; - inherit (ocamlPackages) unison; + inherit (ocaml-ng.ocamlPackages_4_05) unison; unpaper = callPackage ../tools/graphics/unpaper { }; @@ -19051,7 +19065,7 @@ with pkgs; }; virtualgl = callPackage ../tools/X11/virtualgl { - virtualglLib_i686 = if system == "x86_64-linux" + virtualglLib_i686 = if stdenv.hostPlatform.system == "x86_64-linux" then pkgsi686Linux.virtualglLib else null; }; @@ -19064,17 +19078,17 @@ with pkgs; primus = callPackage ../tools/X11/primus { stdenv_i686 = pkgsi686Linux.stdenv; - primusLib_i686 = if system == "x86_64-linux" + primusLib_i686 = if stdenv.hostPlatform.system == "x86_64-linux" then pkgsi686Linux.primusLib else null; }; bumblebee = callPackage ../tools/X11/bumblebee { nvidia_x11 = linuxPackages.nvidia_x11; - nvidia_x11_i686 = if system == "x86_64-linux" + nvidia_x11_i686 = if stdenv.hostPlatform.system == "x86_64-linux" then pkgsi686Linux.linuxPackages.nvidia_x11.override { libsOnly = true; } else null; - libglvnd_i686 = if system == "x86_64-linux" + libglvnd_i686 = if stdenv.hostPlatform.system == "x86_64-linux" then pkgsi686Linux.libglvnd else null; }; @@ -20857,9 +20871,13 @@ with pkgs; abella = callPackage ../applications/science/logic/abella {}; - acgtk = callPackage ../applications/science/logic/acgtk { }; + acgtk = callPackage ../applications/science/logic/acgtk { + ocamlPackages = ocaml-ng.ocamlPackages_4_05; + }; - alt-ergo = callPackage ../applications/science/logic/alt-ergo { }; + alt-ergo = callPackage ../applications/science/logic/alt-ergo { + ocamlPackages = ocaml-ng.ocamlPackages_4_05; + }; aspino = callPackage ../applications/science/logic/aspino {}; @@ -20869,7 +20887,9 @@ with pkgs; inherit (callPackage ./coq-packages.nix { inherit (ocaml-ng) ocamlPackages_3_12_1 - ocamlPackages_4_02; + ocamlPackages_4_02 + ocamlPackages_4_05 + ; }) mkCoqPackages coq_8_3 coq_8_4 coq_8_5 coq_8_6 coq_8_7 coq_8_8 coqPackages_8_5 coqPackages_8_6 coqPackages_8_7 coqPackages_8_8 @@ -20884,7 +20904,9 @@ with pkgs; caprice32 = callPackage ../misc/emulators/caprice32 { }; - cubicle = callPackage ../applications/science/logic/cubicle { }; + cubicle = callPackage ../applications/science/logic/cubicle { + ocamlPackages = ocaml-ng.ocamlPackages_4_05; + }; cvc3 = callPackage ../applications/science/logic/cvc3 { gmp = lib.overrideDerivation gmp (a: { dontDisableStatic = true; }); @@ -20980,7 +21002,9 @@ with pkgs; proverif = callPackage ../applications/science/logic/proverif { }; - sapic = callPackage ../applications/science/logic/sapic { }; + sapic = callPackage ../applications/science/logic/sapic { + inherit (ocaml-ng.ocamlPackages_4_05) ocaml; + }; satallax = callPackage ../applications/science/logic/satallax { ocaml = ocaml-ng.ocamlPackages_4_01_0.ocaml; @@ -20992,7 +21016,9 @@ with pkgs; stdenv = gccStdenv; }; - statverif = callPackage ../applications/science/logic/statverif { }; + statverif = callPackage ../applications/science/logic/statverif { + inherit (ocaml-ng.ocamlPackages_4_05) ocaml; + }; tptp = callPackage ../applications/science/logic/tptp {}; @@ -21023,7 +21049,9 @@ with pkgs; z3 = callPackage ../applications/science/logic/z3 { python = python2; }; tlaplus = callPackage ../applications/science/logic/tlaplus {}; - tlaps = callPackage ../applications/science/logic/tlaplus/tlaps.nix {}; + tlaps = callPackage ../applications/science/logic/tlaplus/tlaps.nix { + inherit (ocaml-ng.ocamlPackages_4_05) ocaml; + }; tlaplusToolbox = callPackage ../applications/science/logic/tlaplus/toolbox.nix {gtk = gtk2;}; aiger = callPackage ../applications/science/logic/aiger {}; @@ -21525,6 +21553,8 @@ with pkgs; idsk = callPackage ../tools/filesystems/idsk { }; + igraph = callPackage ../development/libraries/igraph { }; + illum = callPackage ../tools/system/illum { }; # using the new configuration style proposal which is unstable @@ -21631,7 +21661,7 @@ with pkgs; */ nixos = configuration: (import (self.path + "/nixos/lib/eval-config.nix") { - inherit (pkgs) system; + inherit (pkgs.stdenv.hostPlatform) system; modules = [( { lib, ... }: { config.nixpkgs.pkgs = lib.mkDefault pkgs; @@ -21867,9 +21897,7 @@ with pkgs; sane-frontends = callPackage ../applications/graphics/sane/frontends.nix { }; - satysfi = callPackage ../tools/typesetting/satysfi { - ocamlPackages = ocaml-ng.ocamlPackages_4_06; - }; + satysfi = callPackage ../tools/typesetting/satysfi { }; sc-controller = pythonPackages.callPackage ../misc/drivers/sc-controller { inherit libusb1; # Shadow python.pkgs.libusb1. @@ -22303,7 +22331,7 @@ with pkgs; mount wall hostname more sysctl getconf getent locale killall xxd watch; - fts = if hostPlatform.isMusl then netbsd.fts else null; + fts = if stdenv.hostPlatform.isMusl then netbsd.fts else null; inherit (recurseIntoAttrs (callPackages ../os-specific/bsd { })) netbsd; |