From c7aa3d581f658f8dace621005566fd0883886dcd Mon Sep 17 00:00:00 2001 From: Dan Frumin Date: Thu, 24 Aug 2017 16:53:58 +0200 Subject: [PATCH] Update the README --- README.md | 18 +++++++++++++----- 1 file changed, 13 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 66402c6..85a5ef3 100644 --- a/README.md +++ b/README.md @@ -2,12 +2,20 @@ Needed: https://github.com/HoTT/HoTT -More information on the work is in HITs.pdf. +The only part of the project that is buildable is the `FiniteSets` library. # Building -Make sure that you have [hoqc](https://github.com/HoTT/HoTT) installed. Then generate -the Makefile and build the project: +Before proceeding make sure that you have [hoqc](https://github.com/HoTT/HoTT) installed. - coq_makefile -f _CoqProject -o Makefile - make \ No newline at end of file +1. Build the `HitTactics` library in `prelude`. +``` +cd prelude +hoqc HitTactics +``` +2. Generate the Makefile and build the `FiniteSets` library +``` +cd ../FiniteSets +coq_makefile -f _CoqProject -o Makefile +make +```