Files
concrete/.github/workflows/assets/Installation.md
youben11 e73291abdc chore: rename compiler to concrete-compiler
zamalang => concretelang
zamacompiler => concretecompiler
2021-12-29 15:13:34 +01:00

488 B

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)