pyrox.dev
lol
1{ lib, stdenv, fetchFromGitHub }:
2
3stdenv.mkDerivation rec {
4 pname = "ciao";
5 version = "1.20.0";
6 src = fetchFromGitHub {
7 owner = "ciao-lang";
8 repo = "ciao";
9 rev = "v${version}";
10 sha256 = "sha256-Xp0ZQRi7mOO2WN/2hO6zgobDG3S0BEV+SgsaduBZ30U=";
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 };
32}