alienfile

use alienfile;
use autodie;

use Path::Tiny;
use IPC::Run3;

configure {
    requires 'Path::Tiny';
    requires 'IPC::Run3';
};

share {
    start_url 'cadical/';
    plugin 'Fetch::LocalDir';
    plugin 'Extract::Directory';

    build [
        'sh configure -p --competition -O2 -fPIC CXXFLAGS="-Wno-array-bounds"',
        'make EXE_FLAGS=-static',
        'install -t %{.install.prefix} build/cadical build/libcadical.so build/libcadical.a',
    ];

    plugin 'Gather::IsolateDynamic';
};

gather sub {
    my $build = shift;
    my $exename = $build->runtime_prop->{exename} =
        'cadical';

    my $exe = path($build->install_prop->{prefix}, $exename);
    run3 [$exe, '--version'], \undef, \my $stdout;
    $stdout =~ /^([0-9.a-z]+)$/;
    $build->runtime_prop->{version} = $1;

    $build->runtime_prop->{libs} =
        " -L'@{[ $build->install_prop->{prefix} ]}'" .
	" -lcadical";
};