pyrox.dev
fork
Configure Feed
Select the types of activity you want to include in your feed.
lol
fork
Configure Feed
Select the types of activity you want to include in your feed.
1# Almost 1:1 copy of idris2's nix/platform.nix. Some work done in their flake.nix
2# we do here instead.
3{ stdenv
4, lib
5, chez
6, chez-racket
7, clang
8, gmp
9, fetchFromGitHub
10, makeWrapper
11, gambit
12, nodejs
13, zsh
14, callPackage
15}:
16
17# NOTICE: An `idris2WithPackages` is available at: https://github.com/claymager/idris2-pkgs
18
19let
20 # Taken from Idris2/idris2/flake.nix. Check if the idris2 project does it this
21 # way, still, every now and then.
22 platformChez = if stdenv.system == "x86_64-linux" then chez else chez-racket;
23# Uses scheme to bootstrap the build of idris2
24in stdenv.mkDerivation rec {
25 pname = "idris2";
26 version = "0.6.0";
27
28 src = fetchFromGitHub {
29 owner = "idris-lang";
30 repo = "Idris2";
31 rev = "v${version}";
32 sha256 = "sha256-80MAGM1IEtI09h5aCYfDL4PRrjGq2gT8OUEibOVk8H4=";
33 };
34
35 strictDeps = true;
36 nativeBuildInputs = [ makeWrapper clang platformChez ]
37 ++ lib.optionals stdenv.isDarwin [ zsh ];
38 buildInputs = [ platformChez gmp ];
39
40 prePatch = ''
41 patchShebangs --build tests
42 '';
43
44 makeFlags = [ "PREFIX=$(out)" ]
45 ++ lib.optional stdenv.isDarwin "OS=";
46
47 # The name of the main executable of pkgs.chez is `scheme`
48 buildFlags = [ "bootstrap" "SCHEME=scheme" ];
49
50 checkTarget = "test";
51 nativeCheckInputs = [ gambit nodejs ]; # racket ];
52 checkFlags = [ "INTERACTIVE=" ];
53
54 # TODO: Move this into its own derivation, such that this can be changed
55 # without having to recompile idris2 every time.
56 postInstall = let
57 name = "${pname}-${version}";
58 globalLibraries = [
59 "\\$HOME/.nix-profile/lib/${name}"
60 "/run/current-system/sw/lib/${name}"
61 "$out/${name}"
62 ];
63 globalLibrariesPath = builtins.concatStringsSep ":" globalLibraries;
64 in ''
65 # Remove existing idris2 wrapper that sets incorrect LD_LIBRARY_PATH
66 rm $out/bin/idris2
67 # The only thing we need from idris2_app is the actual binary
68 mv $out/bin/idris2_app/idris2.so $out/bin/idris2
69 rm $out/bin/idris2_app/*
70 rmdir $out/bin/idris2_app
71 # idris2 needs to find scheme at runtime to compile
72 # idris2 installs packages with --install into the path given by
73 # IDRIS2_PREFIX. We set that to a default of ~/.idris2, to mirror the
74 # behaviour of the standard Makefile install.
75 # TODO: Make support libraries their own derivation such that
76 # overriding LD_LIBRARY_PATH is unnecessary
77 wrapProgram "$out/bin/idris2" \
78 --set-default CHEZ "${platformChez}/bin/scheme" \
79 --run 'export IDRIS2_PREFIX=''${IDRIS2_PREFIX-"$HOME/.idris2"}' \
80 --suffix IDRIS2_LIBS ':' "$out/${name}/lib" \
81 --suffix IDRIS2_DATA ':' "$out/${name}/support" \
82 --suffix IDRIS2_PACKAGE_PATH ':' "${globalLibrariesPath}" \
83 --suffix DYLD_LIBRARY_PATH ':' "$out/${name}/lib" \
84 --suffix LD_LIBRARY_PATH ':' "$out/${name}/lib"
85 '';
86
87 # Run package tests
88 passthru.tests = callPackage ./tests.nix { inherit pname; };
89
90 meta = {
91 description = "A purely functional programming language with first class types";
92 homepage = "https://github.com/idris-lang/Idris2";
93 license = lib.licenses.bsd3;
94 maintainers = with lib.maintainers; [ fabianhjr wchresta ];
95 inherit (chez.meta) platforms;
96 };
97}