optional dependencies

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"