Files
concrete/.github/workflows/assets/Installation.md
youben11 ff4a0076a1 ci: fix release tarball process
add install target in Makefile to copy necessary libs, bins, and
includes to an installation directory. Use this install target to
package deps into a tarball with new installation instructions.
2022-12-08 07:45:55 +01:00

598 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 make the lib, bin, and include directories accessible depending on your needs.

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

  • temporary/path/concretecompiler/bin/* inside /usr/local/bin/ (or a directory in $PATH)
  • temporary/path/concretecompiler/lib/* inside /usr/local/lib/ (or another lib folder)
  • temporary/path/concretecompiler/include/* inside /usr/local/include/ (or another include folder)