Codebase list coq / e7236048-92ea-4cdf-8ac0-eb3875e0aff8/main install.sh
e7236048-92ea-4cdf-8ac0-eb3875e0aff8/main

Tree @e7236048-92ea-4cdf-8ac0-eb3875e0aff8/main (Download .tar.gz)

install.sh @e7236048-92ea-4cdf-8ac0-eb3875e0aff8/mainraw · history · blame

#! /bin/sh

dest="$1"
shift

for f; do
  bn=$(basename "$f")
  dn=$(dirname "$f")
  install -d "$dest/$dn"
  case $bn in
      *.cmxs|*.py) install -m 755 "$f" "$dest/$dn/$bn"
	      ;;
      *) install -m 644 "$f" "$dest/$dn/$bn"
	 ;;
  esac
done