concrete/.github/workflows/assets/Installation.md

Installation

You can either install the compiler in user space or globally (you need root/sudo access):

1. User space install: extract the tarball to a chosen path and add chosen/path/concretecompiler/bin to your $PATH.

2. Global install: extract the tarball to a temporary path , and copy

• temporary/path/concretecompiler/bin/concretecompiler to /usr/bin (or a directory in $PATH)
• temporary/path/concretecompiler/lib/libConcretelangRuntime.so to /usr/lib (or another lib folder)