make.sh (1132B)
1 #!/bin/sh 2 3 # Copyright (C) 2018-2020, 2023 |Méso|Star> (contact@meso-star.com) 4 # Copyright (C) 2018, 2019 Centre National de la Recherche Scientifique 5 # Copyright (C) 2018, 2019 Université Paul Sabatier 6 # 7 # This program is free software: you can redistribute it and/or modify 8 # it under the terms of the GNU General Public License as published by 9 # the Free Software Foundation, either version 3 of the License, or 10 # (at your option) any later version. 11 # 12 # This program is distributed in the hope that it will be useful, 13 # but WITHOUT ANY WARRANTY; without even the implied warranty of 14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 15 # GNU General Public License for more details. 16 # 17 # You should have received a copy of the GNU General Public License 18 # along with this program. If not, see <http://www.gnu.org/licenses/>. 19 20 set -e 21 22 install() 23 { 24 prefix=$1 25 shift 1 26 27 mkdir -p "${prefix}" 28 29 for i in "$@"; do 30 dst="${prefix}/${i##*/}" 31 32 if cmp -s "${i}" "${dst}"; then 33 printf "Up to date %s\n" "${dst}" 34 else 35 printf "Installing %s\n" "${dst}" 36 cp "${i}" "${prefix}" 37 fi 38 done 39 } 40 41 "$@"