diff options
Diffstat (limited to 'remove_web_iface_deps.pl')
-rwxr-xr-x | remove_web_iface_deps.pl | 39 |
1 files changed, 39 insertions, 0 deletions
diff --git a/remove_web_iface_deps.pl b/remove_web_iface_deps.pl new file mode 100755 index 000000000000..e3ee6c95e5cb --- /dev/null +++ b/remove_web_iface_deps.pl @@ -0,0 +1,39 @@ +#!/usr/bin/env swipl + +/* + * + * remove_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. + +remove:- + pack_remove(aleph), + pack_remove(auc), + pack_remove(real), + pack_remove(matrix), + pack_remove(cplint). + +main:- + catch(remove, E, (print_message(error, E), fail)), + halt. +main:- + halt(1). |