diff options
author | Сухарик <65870+suhr@users.noreply.github.com> | 2020-04-25 09:38:02 +0300 |
---|---|---|
committer | Сухарик <65870+suhr@users.noreply.github.com> | 2020-05-24 12:26:29 +0300 |
commit | d6db081bdc2d3aeee6dbd928c9d7641f5804927c (patch) | |
tree | 3a2206dec7ec1310df8f2fec3a833f4cd8a3af97 /pkgs/development/compilers/ciao | |
parent | 93a9ac696bad1b3afe072af85ae595686a5b7408 (diff) |
ciao: init at 1.19.0
Diffstat (limited to 'pkgs/development/compilers/ciao')
-rw-r--r-- | pkgs/development/compilers/ciao/default.nix | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/pkgs/development/compilers/ciao/default.nix b/pkgs/development/compilers/ciao/default.nix new file mode 100644 index 000000000000..be39d81f5581 --- /dev/null +++ b/pkgs/development/compilers/ciao/default.nix @@ -0,0 +1,32 @@ +{ stdenv, fetchFromGitHub }: + +stdenv.mkDerivation rec { + pname = "ciao"; + version = "1.19.0"; + src = fetchFromGitHub { + owner = "ciao-lang"; + repo = "ciao"; + rev = "v${version}"; + sha256 = "03qzcb4ivgkiwdpw7a94dn74xqyxjwz5ilrr53rcblsh5ng299jp"; + }; + + configurePhase = '' + ./ciao-boot.sh configure --instype=global --prefix=$prefix + ''; + + buildPhase = '' + ./ciao-boot.sh build + ''; + + installPhase = '' + ./ciao-boot.sh install + ''; + + meta = with stdenv.lib; { + homepage = "https://ciao-lang.org/"; + description = "A general purpose, multi-paradigm programming language in the Prolog family"; + license = licenses.lgpl21; + maintainers = with maintainers; [ suhr ]; + platforms = platforms.unix; + }; +} |