Remove build_target invocation, bump version

fatemender · Feb 26, 2024 · 00d1fd4 · 00d1fd4
1 parent 027b4e6
commit 00d1fd4
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -12,7 +12,7 @@ links                                   = "boolector"
 name                                    = "boolector-sys"
 readme                                  = "README.md"
 repository                              = "https://github.com/fatemender/boolector-sys"
-version                                 = "0.7.1"
+version                                 = "0.7.2"
 
 [features]
 vendor-lgl                              = ["cc", "cmake", "copy_dir"]

diff --git a/README.md b/README.md
@@ -1,4 +1,5 @@
 [![crates.io](https://img.shields.io/crates/v/boolector-sys.svg)](https://crates.io/crates/boolector-sys)
+[![docs.rs](https://img.shields.io/docsrs/boolector-sys)](https://docs.rs/boolector-sys)
 
 # boolector-sys
 
@@ -16,7 +17,7 @@ to your `Cargo.toml`:
 
 ```toml
 [dependencies]
-boolector-sys = "0.7.1"
+boolector-sys = "0.7.2"
 ```
 
 ### Using vendored static `boolector` library
@@ -26,7 +27,7 @@ with the `vendor-lgl` feature enabled:
 
 ```toml
 [dependencies]
-boolector-sys = { version = "0.7.1", features = ["vendor-lgl"] }
+boolector-sys = { version = "0.7.2", features = ["vendor-lgl"] }
 ```
 
 Enabling `vendor-lgl` will automatically build a static `boolector` library and

diff --git a/build-vendor.rs b/build-vendor.rs
@@ -80,7 +80,6 @@ impl Build {
         // whole `Configure.sh` or find out how to overwrite `$BUILDDIR`
         let target_dir = Config::new(&self.out_dir)
             .profile("Release")
-            .build_target("boolector")
             .build();
 
         Artifacts {