Minor update to README of Dandelion

CakeML · Dec 12, 2022 · d37da9f · d37da9f
1 parent 00c06db
commit d37da9f
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/floatingPoint/tools/dandelion/README.md b/floatingPoint/tools/dandelion/README.md
@@ -2,6 +2,12 @@
 
 A certificate checker for approximations of elementary functions.
 
+## Building Dandelion
+
+Dandelion relies on a copy of sollya (sollya.org). Therefore it is
+necessary to run `Holmake` in this directory to execute the code
+in `.hol_preexec`.
+
 ## Key theorems and definitions relating to the original ITP'22 paper
 
 The first phase is defined across the files `transcApproxSemScript.sml` and