diff options
Diffstat (limited to 'install_web_iface_deps.pl')
-rwxr-xr-x | install_web_iface_deps.pl | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/install_web_iface_deps.pl b/install_web_iface_deps.pl new file mode 100755 index 000000000000..3c60b3e489e2 --- /dev/null +++ b/install_web_iface_deps.pl @@ -0,0 +1,38 @@ +#!/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/>. + * + */ + +/* Package directory will be the default one */ +:- initialization main. + +install:- + pack_install(aleph, [url('https://github.com/friguzzi/aleph.git'),interactive(false)]), + pack_install(real, [url('http://stoics.org.uk/~nicos/sware/packs/real/real-2.0.tgz'),interactive(false)]), + pack_install('cplint_r', [url('https://github.com/frnmst/cplint_r.git'),interactive(false)]). + +main:- + catch(install, E, (print_message(error, E), fail)), + halt. +main:- + halt(1). |