From 3878008e06569382489df5635a9c4cc7a17dac1b Mon Sep 17 00:00:00 2001
From: Lionel GUEZ <guez@lmd.ens.fr>
Date: Tue, 26 Mar 2024 17:58:03 +0100
Subject: [PATCH] Polish

---
 README.md | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/README.md b/README.md
index be6ca852..78f277ac 100644
--- a/README.md
+++ b/README.md
@@ -139,6 +139,9 @@ Fortran compiler.
    files `$FIATDIR/lib/libfiat.so` and
    `$FIATDIR/module/fiat/yomhook.mod` can be found at build time.
    
+   To compile without OpenMP:
+
+	   make OMPFLAG=-DNO_OPENMP
 
 ## TO TEST