From f4e7cfe938e7d366d0602c58108cc364da414a19 Mon Sep 17 00:00:00 2001 From: Mikhail Puzanov Date: Wed, 19 Oct 2022 14:50:40 +0200 Subject: [PATCH] Add more build instructions --- DEVELOPER.md | 17 ++++++++++++++++- 1 file changed, 16 insertions(+), 1 deletion(-) diff --git a/DEVELOPER.md b/DEVELOPER.md index 9ed683be..8f2edfe1 100644 --- a/DEVELOPER.md +++ b/DEVELOPER.md @@ -1,4 +1,5 @@ -Setting up development environment is relatively simple. + +## Setting up development environment - You need `stack` to start (https://docs.haskellstack.org/en/stable/README/) - Full build is done by `stack install rpki-prover:rpki-prover`, it should normally take 30-40 minutes on an average computer. @@ -33,3 +34,17 @@ Building library for rpki-prover-0.1.0.0.. It is related to the way orphan instances are derived for some library types. Something is probably wrong in the way modules are organised, but it looks more like a compiler quirk. In some cases it helps to just rerun the `stack install (or test)...` command, otherwise `stack clean` and full rebuild helps. It's annoying but I haven't found a way to fix it. + + +## Docker build + +``` +docker build . --file Dockerfile.prover --tag rpki-prover +``` + +## Building static Linux executable + +``` +docker build - < Dockerfile.static-builder --tag rpki-prover-builder +stack install --docker --docker-image "rpki-prover-builder" --no-nix rpki-prover:rpki-prover-static +```