asgl/default.nix at master · kisp/asgl · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
{ pkgs ? import <nixpkgs> {} }:

let
  ecl = pkgs.callPackage ./ecl-cpp.nix { };
  gecode = pkgs.callPackage ./gecode.nix { };
in

pkgs.stdenv.mkDerivation rec {
  pname = "asgl";
  version = "0.1.4";

  src = pkgs.lib.cleanSource ./.;

  nativeBuildInputs = [
    pkgs.autoconf
    pkgs.automake
    pkgs.makeWrapper
    pkgs.gcc
    pkgs.ragel
  ];

  buildInputs = [
    ecl
    gecode
    pkgs.gmp
    pkgs.mpfr
    pkgs.libffi
    pkgs.ruby
    pkgs.bundler
  ];

  # Configure with --without-gist as per upstream build
  configurePhase = ''
    echo "Running autoreconf..."
    autoreconf -vfi

    echo "Configuring ASGL..."
    ./configure --without-gist
  '';

  buildPhase = ''
    echo "Building ASGL..."
    bash scripts/generate-make-mk.sh
    make all
  '';

  installPhase = ''
    echo "Installing ASGL into $out..."
    mkdir -p $out/bin
    cp bin/asgl $out/bin/
  '';
}