diff options
Diffstat (limited to 'install_web_iface_deps.pl')
| -rwxr-xr-x | install_web_iface_deps.pl | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/install_web_iface_deps.pl b/install_web_iface_deps.pl new file mode 100755 index 000000000000..713df418d0fc --- /dev/null +++ b/install_web_iface_deps.pl @@ -0,0 +1,39 @@ +#!/usr/bin/env swipl + +/* + * + * install_web_iface_deps.pl + * + * Copyright (C) 2016 frnmst (Franco Masotti) <franco.masotti@student.unife.it> + * + * This file is part of cplint-installer. + * + * cplint-installer is free software: you can redistribute it and/or modify + * it under the terms of the GNU General Public License as published by + * the Free Software Foundation, either version 3 of the License, or + * (at your option) any later version. + * + * cplint-installer is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with cplint-installer. If not, see <http://www.gnu.org/licenses/>. + * + */ + +:- initialization main. + +/* Solve problem with the matrix package. */ +install:- + pack_install(aleph, [interactive(false)]), + pack_install(auc, [interactive(false)]), + pack_install(real, [interactive(false)]), + pack_install(cplint, [interactive(false)]). + +main:- + catch(install, E, (print_message(error, E), fail)), + halt. +main:- + halt(1). |