Build Log: sail_maker.0.20.1

Processing: [default: loading data] [sail_maker.0.20.1: http] [sail_maker.0.20.1: extract] -> retrieved sail_maker.0.20.1 (https://github.com/rems-project/sail/releases/download/0.20.1/sail-0.20.1.tbz) [sail_maker: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "sail_maker" "-j" "255" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/sail_maker.0.20.1) [sail_maker: dune install] + /home/opam/.opam/default/bin/dune "install" "-p" "sail_maker" "--create-install-files" "sail_maker" (CWD=/home/opam/.opam/default/.opam-switch/build/sail_maker.0.20.1) -> compiled sail_maker.0.20.1 -> installed sail_maker.0.20.1