diff options
Diffstat (limited to 'pkgs/development/compilers/ciao/default.nix')
-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; + }; +} |