File: debian-plt

package info (click to toggle)
drscheme 1%3A209-5
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 59,656 kB
  • ctags: 49,370
  • sloc: ansic: 254,796; cpp: 59,293; sh: 20,675; lisp: 14,368; makefile: 5,096; pascal: 3,724; perl: 2,814; asm: 1,070; java: 843; yacc: 755; lex: 258; sed: 93
file content (16 lines) | stat: -rw-r--r-- 492 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
#!/bin/sh
# Debian-specific setup-plt.  It is based on the original setup-plt,
# but it installs in local directories.  The regular setup-plt is also
# installed, and it places things in /usr/lib/plt
if [ "$PLTCOLLECTS" = '' ] ; then
  PLTCOLLECTS=/usr/local/lib/plt/collects:/usr/lib/plt/collects
  export PLTCOLLECTS
fi

# Debian installation
if [ "$PLTHOME" = '' ] ; then
  PLTHOME=/usr/local/lib/plt
  export PLTHOME
fi

exec /usr/bin/mzscheme '-mqvL' 'setup.ss' 'setup' '--'   ${1+"$@"}