/usr/share/gps/gnatdoc/html/compile.sh is in gnat-gps-common 6.1.1-1.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 | #!/bin/sh
files="gnatdoc.js"
# gjslint is provided, in macports, in the package 'closure-linter'
# see also https://developers.google.com/closure/utilities/docs/linter_howto?hl=fr
gjslint "$files"
if [ ! -f compiler.jar ]; then
# This version requires java 7
# rm -f compiler-latest.zip
# wget http://dl.google.com/closure-compiler/compiler-latest.zip
# unzip compiler-latest.zip compiler.jar
# rm -f compiler-latest.zip
# This version works with java 6
rm -f compiler-20131014.zip
wget --no-check-certificate https://closure-compiler.googlecode.com/files/compiler-20131014.zip
unzip compiler-20131014.zip compiler.jar
rm -f compiler-20131014.zip
fi
# See documentation for the annotations at
# https://developers.google.com/closure/compiler/docs/js-for-compiler
# and type descriptions at
# https://developers.google.com/closure/compiler/docs/js-for-compiler#types
java -jar compiler.jar --jscomp_error=accessControls --jscomp_error=ambiguousFunctionDecl --jscomp_error=checkRegExp --jscomp_error=checkTypes --jscomp_error=checkVars --jscomp_error=constantProperty --jscomp_error=deprecated --jscomp_error=es5Strict --jscomp_error=externsValidation --jscomp_error=fileoverviewTags --jscomp_error=globalThis --jscomp_error=internetExplorerChecks --jscomp_error=invalidCasts --jscomp_error=missingProperties --jscomp_error=nonStandardJsDocs --jscomp_error=strictModuleDepCheck --jscomp_error=typeInvalidation --jscomp_error=undefinedVars --jscomp_error=unknownDefines --jscomp_error=uselessCode --jscomp_error=visibility --warning_level=VERBOSE --js_output_file=compiled.js --process_closure_primitives "$files"
|