File: thepeg.install

package info (click to toggle)
thepeg 1.8.0-1
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd, wheezy
  • size: 9,312 kB
  • ctags: 11,509
  • sloc: cpp: 57,129; sh: 11,315; java: 3,212; lisp: 1,402; makefile: 830; ansic: 58; perl: 3
file content (21 lines) | stat: -rw-r--r-- 389 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
 
#!/bin/sh

pkglibdir=@pkglibdir@
bindir=@bindir@

ThePEG_CMD="${bindir}/setupThePEG"
if [ $# -gt 1 ]; then
  if [ "$1" = "-v" ]; then
    echo "We do not support multiple version of ThePEG in Debian."
    exit 1
  fi
fi

HEADLESS=""
if [ "$1" = "--classcheck" ]; then
    HEADLESS="-Djava.awt.headless=true"
fi



exec @java@ ${HEADLESS} -jar /usr/share/java/ThePEG.jar ${ThePEG_CMD} "$@"