From f574b24cfe800e4262653472534efc15a5aafd81 Mon Sep 17 00:00:00 2001
From: Jesse Wright <63333554+jeswr@users.noreply.github.com>
Date: Sun, 11 Feb 2024 21:56:43 +0000
Subject: [PATCH 1/2] chore(docs): document how to configure dynamic builds

---
 README.md | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index b805ce2..b0aed57 100644
--- a/README.md
+++ b/README.md
@@ -4,4 +4,20 @@
 
 Rust bindings to [Lean 4](https://github.com/leanprover/lean4)'s C API
 
-Functions and comments manually translated from those in the [`lean.h` header](https://github.com/leanprover/lean4/blob/master/src/include/lean/lean.h) provided with Lean 4
\ No newline at end of file
+Functions and comments manually translated from those in the [`lean.h` header](https://github.com/leanprover/lean4/blob/master/src/include/lean/lean.h) provided with Lean 4
+
+## Dynamic Builds
+
+If you are using this package as part of a dynamic build - in particular if your `Cargo.toml` is configured with
+
+```toml
+[lib]
+crate-type = ["cdylib"]
+```
+
+then the `static` feature of this library (which is enabled by default) will need to be disabled. This can be done by configuring `lean-sys` as follows:
+
+```toml
+[dependencies]
+lean-sys = { version = "0.0.5", features=["small_allocator"], default-features=false }
+```

From 68e6cde998bbb4ddf8a844a88fcaf1f05cf60e27 Mon Sep 17 00:00:00 2001
From: Mario Carneiro <di.gama@gmail.com>
Date: Sun, 11 Feb 2024 17:03:14 -0800
Subject: [PATCH 2/2] Update README.md

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index b0aed57..b23e06e 100644
--- a/README.md
+++ b/README.md
@@ -19,5 +19,5 @@ then the `static` feature of this library (which is enabled by default) will nee
 
 ```toml
 [dependencies]
-lean-sys = { version = "0.0.5", features=["small_allocator"], default-features=false }
+lean-sys = { version = "0.0.5", features = ["small_allocator"], default-features = false }
 ```