Skip to content
  • Mark's avatar
    ci: various maintenance changes · 80e58e8d
    Mark authored
    Travis CI now uses versions of STATIC-VECTORS, CL+SSL, and CFFI from
    Quicklisp distribution as all outstanding patches have been absorbed
    upstream.  While this means testing will change depending on the
    current Quicklisp distribution when the tests are invoked, it will
    more properly reflect common usage of these systems.
    
    Overhaul ABCL-PROVE system definition explicitly enumerating tests for
    more deterministic behavior.  Remove unnecessary ABCL-PROVE/T
    sub-system.  Remove testing of JEANNIE from ABCL-PROVE so that it has
    no dependencies external to the ABCL source tree.
    
    Add TIME forms to ABCL/TEST/ANSI invocation.
    80e58e8d