diff options
Diffstat (limited to 'nixpkgs/pkgs/development/compilers/gerbil/default.nix')
| -rw-r--r-- | nixpkgs/pkgs/development/compilers/gerbil/default.nix | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/compilers/gerbil/default.nix b/nixpkgs/pkgs/development/compilers/gerbil/default.nix new file mode 100644 index 000000000000..8c6b1a87cd37 --- /dev/null +++ b/nixpkgs/pkgs/development/compilers/gerbil/default.nix @@ -0,0 +1,14 @@ +{ stdenv, callPackage, fetchFromGitHub, gambit }: + +callPackage ./build.nix rec { + version = "0.15.1"; + git-version = "0.15.1"; + inherit gambit; + src = fetchFromGitHub { + owner = "vyzo"; + repo = "gerbil"; + rev = "v${version}"; + sha256 = "0qpqms66hz41wwhxb1z0fnzj96ivkm7qi9h9d7lhlr3fsxm1kp1n"; + }; + inherit stdenv; +} |