Specifying a toplevel installation directory

0 votes

2 answers

63 views

                          I am building the lean prover system

    git clone https://github.com/leanprover/lean4  --recurse-submodules
    cd lean4
    mkdir -p build/release
    cd build/release
    cmake ../..
    make

But rather than using a standard install I want to specify the toplevel installation directory.  What can I do ?

                        

Asked by Vera (1363 rep)

May 2, 2024, 01:32 PM
Last activity: May 2, 2024, 02:37 PM

Specifying a toplevel installation directory

Related Questions