File: run-for-ci.sh

package info (click to toggle)
acl2 8.5dfsg-5
  • links: PTS
  • area: main
  • in suites: bookworm
  • size: 991,452 kB
  • sloc: lisp: 15,567,759; javascript: 22,820; cpp: 13,929; ansic: 12,092; perl: 7,150; java: 4,405; xml: 3,884; makefile: 3,507; sh: 3,187; ruby: 2,633; ml: 763; python: 746; yacc: 723; awk: 295; csh: 186; php: 171; lex: 154; tcl: 49; asm: 23; haskell: 17
file content (29 lines) | stat: -rw-r--r-- 681 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
22
23
24
25
26
27
28
29
 
#!/bin/bash

# safe mode
set -euo pipefail

# verbose
set -v

cd "`dirname $0`"

if [ ! -v OPENSSL_RELEASES_BIN_DIR ]
then
    # assume the openssl binaries are where the build scripts place them
    export OPENSSL_RELEASES_BIN_DIR=run-on-many-lisps-and-openssls/openssl-releases/bin
fi

echo M2_HOME=$M2_HOME

MAIN='(handler-case (load "run-for-ci.lisp") (serious-condition (c) (format t "~A: ~A~%" (type-of c) c) (uiop:quit 1)))'

#~/unpacked/ccl-1.11/lx86cl64 --load run-for-ci.lisp
case $LISP in
    clisp)
        $LISP -i ~/quicklisp/setup.lisp -x "$MAIN";;
    abcl)
        $LISP --eval '(require :abcl-contrib)' --eval "$MAIN";;
    *)
        $LISP --eval "$MAIN";;
esac