pyrox.dev
1{ lib, stdenv, fetchFromGitHub }:
2
3stdenv.mkDerivation rec {
4 pname = "ciao";
5 version = "1.22.0-m1";
6 src = fetchFromGitHub {
7 owner = "ciao-lang";
8 repo = "ciao";
9 rev = "v${version}";
10 sha256 = "sha256-p7QNSsDI8hVMPPfkX3PNjJo01hsPGKZ7jMR9Kmj2qxY=";
11 };
12
13 configurePhase = ''
14 ./ciao-boot.sh configure --instype=global --prefix=$prefix
15 '';
16
17 buildPhase = ''
18 ./ciao-boot.sh build
19 '';
20
21 installPhase = ''
22 ./ciao-boot.sh install
23 '';
24
25 meta = with lib; {
26 homepage = "https://ciao-lang.org/";
27 description = "A general purpose, multi-paradigm programming language in the Prolog family";
28 license = licenses.lgpl21;
29 maintainers = with maintainers; [ suhr ];
30 platforms = platforms.unix;
31 broken = stdenv.isDarwin; # never built on Hydra https://hydra.nixos.org/job/nixpkgs/staging-next/ciao.x86_64-darwin
32 };
33}