Skip to content

Latest commit

 

History

History
19 lines (14 loc) · 527 Bytes

README.md

File metadata and controls

19 lines (14 loc) · 527 Bytes
Raw

CosyVerif build environment

This repository defines the build environment for CosyVerif. It is used both for local installs, and to generate a Docker image usable in continuous integration tools.

Run

To build the environment, use the following command:

  ./bin/install --help
  Usage:
    install [--prefix=PREFIX] [--lua=LUA_VERSION] [--in-ci]

The --in-ci parameter is only used in continuous integration or automated builds, to remove terminal colors.