Next: Windows Installation, Previous: Usage, Up: Usage [Contents][Index]
TLDR; If you already have a Common Lisp development environment setup
the Software Evolution Library (SEL) can be installed from QuickLisp
by running (ql:quickload :software-evolution-library), however
many components and software types have additional dependencies.
Note: The following instructions assume you are running a Linux or macOS operating system, for installation Windows see Windows Installation.
SEL is currently only tested against Steel Bank Common Lisp (SBCL) Clozure Common Lisp (CCL) and requires ASDF version 3.3.x or greater.
The source code for SEL is available at https://github.com/GrammaTech/sel. SEL and its Common Lisp dependencies are installable through Quicklisp (see http://www.quicklisp.org/).
| External dependencies are required for some software object subclasses that require external parsers. For all languages evaluation of software objects require that the language’s compiler or interpreter is available. | |||
| Software type | Class | Dependency | URL |
|---|---|---|---|
| Source Code for many languages | sel/sw/ts:tree-sitter | tree-sitter | https://tree-sitter.github.io/tree-sitter/ |
| Alternate C/CPP Source Code | sel/sw/clang:clang | clang v10.0+ | https://github.com/llvm/llvm-project |
| Coq | sel/sw/coq:coq | SerAPI | https://github.com/ejgallego/coq-serapi |
Table 5.1: Additional dependencies for specific software objects.
| • Windows Installation | Installing SEL on Windows |