Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
idris2: init at version 0.2.0-840e020
A purely functional programming language with first class types
- Loading branch information
Showing
2 changed files
with
47 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,45 @@ | ||
{ stdenv, fetchFromGitHub, makeWrapper | ||
, clang, chez | ||
}: | ||
|
||
# Uses scheme to bootstrap the build of idris2 | ||
stdenv.mkDerivation { | ||
name = "idris2"; | ||
version = "0.2.0-840e020"; | ||
|
||
src = fetchFromGitHub { | ||
owner = "idris-lang"; | ||
repo = "Idris2"; | ||
rev = "840e020d8ccc332135e86f855ad78053ca15d603"; | ||
sha256 = "1l6pdjiglwd13pf56xwzbjzyyxgz48ypfggjgsgqk2w57rmbfy90"; | ||
}; | ||
|
||
strictDeps = true; | ||
nativeBuildInputs = [ makeWrapper clang chez ]; | ||
buildInputs = [ chez ]; | ||
|
||
prePatch = '' | ||
patchShebangs --build tests | ||
# Do not run tests as part of the build process | ||
substituteInPlace bootstrap.sh --replace "make test" "# make test" | ||
''; | ||
|
||
makeFlags = [ "PREFIX=$(out)" ]; | ||
|
||
# The name of the main executable of pkgs.chez is `scheme` | ||
buildFlags = [ "bootstrap" "SCHEME=scheme" ]; | ||
|
||
# idris2 needs to find scheme at runtime to compile | ||
postInstall = '' | ||
wrapProgram "$out/bin/idris2" --prefix PATH : "${chez}/bin" | ||
''; | ||
|
||
meta = { | ||
description = "A purely functional programming language with first class types"; | ||
homepage = https://github.com/idris-lang/Idris2; | ||
license = stdenv.lib.licenses.bsd3; | ||
maintainers = with stdenv.lib.maintainers; [ wchresta ]; | ||
}; | ||
} | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters