gscacco / depc

Like C and C++ but with Dependent Types

DepC

Like C and C++ but with Dependent Types

Dep0

It is the bootstrapping compiler written in C++.

How to build using devbox

First you need to build the devbox docker image via:

(NB if you're behind a proxy you might need to edit the Dockerfile)

$ ./tools/devbox/build-image.sh

Then you can run conan and cmake as normal within a devbox environment:

$ ./tools/devbox/devbox.sh
...$ conan profile new --detect default
...$ conan profile update settings.compiler.libcxx=libstdc++11 default
...$ conan install . --install-folder build --build=antlr4-cppruntime --build=boost --build=llvm-core
...$ cmake . -Bbuild -DCMAKE_MODULE_PATH=$PWD/build
...$ cmake --build build -j
...$ ctest --test-dir build -VV
...$ exit

Alternatively:

$ ./tools/devbox/devbox.sh conan profile new --detect default
$ ./tools/devbox/devbox.sh conan profile update settings.compiler.libcxx=libstdc++11 default
$ ./tools/devbox/devbox.sh conan install . --install-folder build --build=antlr4-cppruntime --build=boost --build=llvm-core
$ ./tools/devbox/devbox.sh cmake . -Bbuild -DCMAKE_MODULE_PATH=$PWD/build
$ ./tools/devbox/devbox.sh cmake --build build -j
$ ./tools/devbox/devbox.sh ctest --test-dir build -VV

How to without devbox

You will need:

• conan 1.55 (conan 2 is currently not compatible with llvm-core/13)
• cmake 3.20 or greater
• gcc11 or greater (other compilers have not be tested yet)

You shoud then be able to follow the same conan/cmake/ctest steps documented above.