Skip to content
Snippets Groups Projects
Select Git revision
  • 93073bdc45c32628a38069bc694334af370136bd
  • master default protected
2 results

Cargo.toml

Blame
  • Forked from Per Lindgren / klee-examples
    Source project has a limited visibility.
    This project manages its dependencies using Cargo. Learn more
    Cargo.toml 1.85 KiB
    [package]
    name = "klee-examples"
    version = "0.1.0"
    authors = ["pln <Per Lindgren>"]
    edition = "2018"
    
    [dependencies]
    panic-halt = "0.2.0"
    
    vcell = "0.1.2"
    volatile-register = "0.2.0"
    
    [dependencies.cortex-m-rt]
    version = "0.6.11"
    optional = true
    
    [dependencies.lm3s6965] 
    version = "0.1.3"
    optional = true
    
    [dependencies.stm32f4] 
    version = "0.9.0"
    features = ["stm32f401", "rt"]
    optional = true
    
    [dependencies.cortex-m-semihosting]
    version = "0.3.5"
    optional = true
    
    [dependencies.panic-klee]
    git = "https://gitlab.henriktjader.com/pln/panic-klee.git"
    version = "0.1.0"
    
    [dependencies.klee-sys]
    git = "https://gitlab.henriktjader.com/pln/klee-sys.git"
    version = "0.1.0"
    
    # [dependencies.cortex-m-rtfm]
    # path = "../cortex-m-rtpro"
    # optional = true
    
    [dependencies.cortex-m]
    version = "0.6.1"
    optional = true
    
    [patch.crates-io]
    vcell = { git = "https://github.com/perlindgren/vcell.git", branch = "trustit" }
    #vcell = { path = "../vcell" }
    
    cortex-m = { git = "https://github.com/perlindgren/cortex-m.git", branch = "trustit" }
    # cortex-m = { path = "../cortex-m" }
    
    cortex-m-rt = { git = "https://github.com/perlindgren/cortex-m-rt.git", branch = "trustit" }
    # cortex-m-rt = { path = "../cortex-m-rt" }
    
    [features] 
    klee-analysis = [ 
         "vcell/klee-analysis",
         "cortex-m/klee-analysis", 
         "cortex-m-rt/klee-analysis" 
    ]
    
    inline-asm = ["cortex-m/inline-asm"]
    # rtpro = [ "cortex-m-rtfm/klee-analysis", "cortex-m-rt/rtpro", "lm3s6965" ]
    f4 = ["stm32f4/stm32f401", "stm32f4/rt", "cortex-m-semihosting", "cortex-m-rt"]
    
    [profile.dev]
    panic = "abort"
    incremental = false # needed due to bug in rust toolchain
    lto = true
    # codegen-units = 1 # used to be required due to bug in rust toolchain
    
    [profile.release]
    panic = "abort"
    debug = true        # better debugging
    incremental = false # better optimization
    lto = true          # better optimization
    codegen-units = 1   # better optimization