tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 stdenv,
4 fetchFromGitHub,
5}:
6
7stdenv.mkDerivation (finalAttrs: {
8 pname = "ciao";
9 version = "1.25.0-m1";
10 src = fetchFromGitHub {
11 owner = "ciao-lang";
12 repo = "ciao";
13 rev = "v${finalAttrs.version}";
14 sha256 = "sha256-jsHz50+R/bs19ees3kKYalYk72ET9eSAAUY7QogI0go=";
15 };
16
17 configurePhase = ''
18 ./ciao-boot.sh configure --instype=global --prefix=$prefix
19 '';
20
21 buildPhase = ''
22 ./ciao-boot.sh build
23 '';
24
25 installPhase = ''
26 ./ciao-boot.sh install
27 '';
28
29 meta = {
30 homepage = "https://ciao-lang.org/";
31 description = "General purpose, multi-paradigm programming language in the Prolog family";
32 license = lib.licenses.lgpl21;
33 maintainers = with lib.maintainers; [ suhr ];
34 platforms = lib.platforms.unix;
35 broken = stdenv.hostPlatform.isDarwin; # never built on Hydra https://hydra.nixos.org/job/nixpkgs/staging-next/ciao.x86_64-darwin
36 };
37})