From d3b92f3b3a94d83f69f0d2afa92b764fec6f9e24 Mon Sep 17 00:00:00 2001
From: Per <Per Lindgren>
Date: Mon, 30 Dec 2019 17:09:39 +0100
Subject: [PATCH] optional dependencies

---
 Cargo.toml | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index 9403828..59f9abb 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -7,10 +7,13 @@ edition = "2018"
 [dependencies]
 panic-halt = "0.2.0"
 cortex-m-semihosting = "0.3.5"
-lm3s6965 = "0.1.3"
 vcell = "0.1.2"
 volatile-register = "0.2.0"
 
+[dependencies.lm3s6965] 
+version = "0.1.3"
+optional = true
+
 [dependencies.panic-klee]
 git = "https://gitlab.henriktjader.com/pln/panic-klee.git"
 version = "0.1.0"
@@ -21,9 +24,11 @@ version = "0.1.0"
 
 [dependencies.cortex-m-rtfm]
 path = "../cortex-m-rtpro"
+optional = true
 
 [dependencies.cortex-m]
 version = "0.6.0"
+optional = true
 # #features = ["inline-asm", "klee-analysis"]
 
 [patch.crates-io]
@@ -33,7 +38,7 @@ vcell = { git = "https://github.com/perlindgren/vcell.git", branch = "trustit" }
 
 
 [features] 
-klee-analysis = ["klee-sys/klee-analysis", "vcell/klee-analysis", "cortex-m-rtfm/klee-analysis"]
+klee-analysis = ["vcell/klee-analysis"]
 
 [profile.dev]
 panic = "abort"
-- 
GitLab