From 51b4f09bca802c4941700c78c5733ce968ddc7c6 Mon Sep 17 00:00:00 2001
From: Samo Penic <samo.penic@gmail.com>
Date: Wed, 27 Feb 2019 22:44:22 +0000
Subject: [PATCH] An attempt of adding hard constraints plugin to the simulator. It seems it does not work yet

---
 README.md |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)

diff --git a/README.md b/README.md
index df6a955..4e76d54 100644
--- a/README.md
+++ b/README.md
@@ -63,3 +63,8 @@
 
 THis line seemed to fixed everything:
 libtoolize --force
+
+
+======= STATICALLY LINKING ==============
+./configure --enable-static LDFLAGS=-static
+

--
Gitblit v1.9.3