source: git/Singular/make_alllib.sh @ f16c7da

fieker-DuValspielwiese
Last change on this file since f16c7da was ff7e14a, checked in by Volker Braun <vbraun.name@…>, 13 years ago
Fix: Install the singular library to share/singular/LIB
  • Property mode set to 100755
File size: 170 bytes
RevLine 
[e42f2e]1#!/bin/sh
2cp $1 LIB/all.lib.n
[ff7e14a]3chmod u+rw LIB/all.lib.n
[e42f2e]4shift
5for i in $*
6do
[eb3a3ce]7        echo "LIB \"$i\";" >>LIB/all.lib.n
[e42f2e]8done
[ff7e14a]9chmod u-w LIB/all.lib.n
[e42f2e]10mv LIB/all.lib.n LIB/all.lib
Note: See TracBrowser for help on using the repository browser.