File: test-gen-matrix.lisp

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 (31 lines) | stat: -rw-r--r-- 1,325 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
30
31
 
;; TODO: enable CLISP after # https://github.com/cl-plus-ssl/cl-plus-ssl/issues/163 is fixed
(dolist (lisp '("sbcl" "ccl" "abcl"))
  (dolist (openssl '(
                     "openssl-0.9.8zh"
                     "openssl-1.0.0s"
                     "openssl-1.0.2q"
                     "openssl-1.1.0j"
                     "openssl-1.1.1p"
                     "openssl-3.0.4"
                     "libressl-2.2.7"
                     "libressl-2.5.5"
                     "libressl-2.6.5"
                     "libressl-2.8.3"
                     "libressl-3.0.1"
                     "libressl-3.5.3"
                     ))
    (dolist (lib-load-mode '("new" "old"))
      (unless (and (string= lisp "abcl")
                   (string= lib-load-mode "old"))

        ;; TODO: COVERALLS=true for SBCL on the laest version of OpenSSL and the latest LibreSSL
        ;;     after this cl-coveralls issue is fixed: https://github.com/fukamachi/cl-coveralls/issues/14

        ;; TODO: repeat CCL test on the latest OpenSSL with READTABLE_CASE_INVERT=1

        (format t "      - if: always()~%")
        (format t "        run: |~%")
        (format t "           LISP=~A OPENSSL=~A BITS=64 LIB_LOAD_MODE=~A docker-home/cl-plus-ssl/.github/workflows/test.sh~%"
                lisp openssl lib-load-mode)
        ))))