01-python.pl

%
%  01-python-helpers.pl
%  marelle-deps
%

% python_pkg(-Pkg) is nondet.
%   Pkg is a python module imported using the same name.
:- multifile python_pkg/1.

% python_pkg(-Pkg, -ImportName) is nondet.
%   Pkg is a python module imported by a different name.
:- multifile python_pkg/2.

% pip_pkg(-Pkg) is nondet.
%   Pkg is a python module installable with pip. (satisfies met and meet
%   blocks)
:- multifile pip_pkg/1.

% pip_pkg(-Pkg, -PkgName) is nondet.
%   Pkg is a python module installable with pip. (satisfies met and meet
%   blocks)
:- multifile pip_pkg/2.

% pip_pkg(-Pkg, -PkgName, -PkgSource) is nondet.
%   Pkg is a python module installable with pip. (satisfies met and meet
%   blocks)
:- multifile pip_pkg/3.

% installs_with_pip(-Pkg) is nondet.
% installs_with_pip(-Pkg, -PkgSource) is nondet.
%   Pkg is installed with pip as PkgSource. (satisfies meet block only)
:- multifile installs_with_pip/2.
:- multifile installs_with_pip/1.

pip_pkg(P, P, P) :- pip_pkg(P).
pip_pkg(P, PkgName, PkgName) :- pip_pkg(P, PkgName).

%  All python packages are packages.
pkg(P) :- python_pkg(P, _).

%  If it's a Python package, it's met if you can import it.
met(P, _) :-
    python_pkg(P, ImportName), !,
    python_import(ImportName).

python_pkg(P, P) :- python_pkg(P).

% python_import(+Pkg) is semidet.
%   Try to import the module in Python, failing if the import fails.
python_import(Pkg) :-
    sh(['python -c \'import ', Pkg, '\' >/dev/null 2>/dev/null']).

%  All python packages depend on Python.
depends(P, _, [python]) :-
    python_pkg(P).

%  All pip packages are also packages.
pkg(P) :- pip_pkg(P, _, _).

%  all pip packages depend on pip
depends(P, _, [pip]) :- pip_pkg(P, _, _).

met(P, _) :-
    pip_pkg(P, PkgName, _), !,
    sh(['pip freeze 2>/dev/null | cut -d \'=\' -f 1 | fgrep -qi ', PkgName]).

%  all pip packages install using pip
installs_with_pip(P, PkgSource) :- pip_pkg(P, _, PkgSource).
installs_with_pip(P, P) :- installs_with_pip(P).

%  meet anything that installs with pip with by actually using pip
meet(P, _) :-
    installs_with_pip(P, PkgSource),
    install_pip(PkgSource).

% install_pip(+Pkg) is semidet.
%   Try to install the pacakge with pip, maybe using sudo.
install_pip(Pkg) :-
    which(pip, Pip),
    atom_concat(Parent, '/pip', Pip),
    ( access_file(Parent, write) ->
        Sudo = ''
    ;
        Sudo = 'sudo '
    ),
    join(['Installing ', Pkg, ' with pip'], Msg),
    writeln(Msg),
    sh(['umask a+rx && ', Sudo, 'pip install -U ', Pkg]).

pkg(python).
installs_with_brew(python).
installs_with_apt(python, 'python-dev').

command_pkg(pip).
meet(pip, linux(_)) :-
    install_apt('python-pip').
depends(pip, linux(_), ['build-essential']).

pkg('build-essential').
installs_with_apt('build-essential').

depends(pip, _, [python]).