prevc

A compiler for the Prev programming language. prevc is written in C++17 using LLVM as backend. Currently the implemented Prev standard is slivnik17 described in this specification.

Usage

To compile and emit the binary executable:

prevc main.prev
./main

To compile and emit the LLVM IR code (.ll extension):

prevc --out-llvm-ir main.prev

For some extra help:

prevc --help

Docker

A Docker image, with a pre-compiled prevc executable, is available on Docker Hub. You can download it with:

docker pull pintarj/prevc

To compile a local .prev file (for example demo/sudoku.prev), mounting a folder in a Docker container, run:

docker run --rm --volume $(pwd):/prevc pintarj/prevc /usr/local/bin/prevc demo/sudoku.prev

NOTE: The produced executable will require, on execution, a version of GLIBC installed on the local machine compatible with the version with which it was compiled in the Docker container.

Building

On Ubuntu 22.04 all dependencies can be installed with:

sudo apt install g++ cmake python3 llvm-13 libzip-dev libutfcpp-dev

Then to build the prevc executable perform these commands in the project's root folder:

mkdir build
cd build
cmake -DCMAKE_BUILD_TYPE=Debug ..
make -j $(nproc --all)

License

prevc is provided under the MIT license. See LICENSE.