#the $PATH configuration must be done in base-0
chmod 644 README.linux mkvlib mux.v stdlog93.v stdlogic.v va87 vanman.ps vls vs87 vtab vv87.str &&
chown -R root:root * &&
mkdir -p /usr/vhdl/vanilla &&
cp -a * /usr/vhdl/vanilla

# let's rely only on the static vv87 program :
#  cp libc.so.5.* /lib &&
#  /sbin/ldconfig
