2025-10-17 21:42:41 +02:00
|
|
|
[package]
|
|
|
|
|
name = "reaction_systems_gui"
|
|
|
|
|
version = "0.1.0"
|
|
|
|
|
edition = "2024"
|
|
|
|
|
|
|
|
|
|
[lib]
|
|
|
|
|
crate-type = ["cdylib", "rlib"]
|
|
|
|
|
|
|
|
|
|
[dependencies]
|
|
|
|
|
log = "*"
|
2025-10-29 18:11:48 +01:00
|
|
|
eframe = "0.33"
|
2025-10-17 21:42:41 +02:00
|
|
|
anyhow = "1"
|
|
|
|
|
serde = { version = "1", optional = true }
|
|
|
|
|
colored = "*"
|
|
|
|
|
lalrpop-util = "*"
|
|
|
|
|
petgraph = ">=0.8"
|
2025-11-03 03:56:51 +01:00
|
|
|
resvg = "*"
|
2025-11-03 16:44:41 +01:00
|
|
|
fontdb = "*"
|
2025-11-02 15:03:07 +01:00
|
|
|
dyn-clone = "*"
|
2025-10-17 21:42:41 +02:00
|
|
|
petgraph-graphml = "*"
|
2025-10-20 17:28:27 +02:00
|
|
|
egui_node_graph2 = { path = "../egui_node_graph2" }
|
|
|
|
|
getrandom = "0.3" # dependency that has to be specified correctly for wasm
|
2025-10-17 21:42:41 +02:00
|
|
|
layout-rs = "0.1"
|
2025-10-20 17:28:27 +02:00
|
|
|
rfd = "*" # for file selection
|
|
|
|
|
ron = "*" # for serialization
|
2025-11-04 19:00:06 +01:00
|
|
|
rsprocess = { version = "*", git = "https://github.com/elvisrossi/ReactionSystems.git" }
|
|
|
|
|
assert = { version = "*", git = "https://github.com/elvisrossi/ReactionSystems.git" }
|
|
|
|
|
execution = { version = "*", git = "https://github.com/elvisrossi/ReactionSystems.git" }
|
|
|
|
|
bisimilarity = { version = "*", git = "https://github.com/elvisrossi/ReactionSystems.git" }
|
|
|
|
|
grammar_separated = { version = "*", git = "https://github.com/elvisrossi/ReactionSystems.git" }
|
2025-10-21 10:04:35 +02:00
|
|
|
|
2025-10-17 21:42:41 +02:00
|
|
|
|
|
|
|
|
[target.'cfg(all(target_arch = "wasm32", not(target_os = "emscripten")))'.dependencies]
|
|
|
|
|
wasm-bindgen = "0.2"
|
|
|
|
|
wasm-bindgen-futures = "*"
|
2025-10-20 17:28:27 +02:00
|
|
|
getrandom = { version = "0.3", features = ["wasm_js"]} # dependency that has to be specified correctly for wasm
|
2025-10-17 21:42:41 +02:00
|
|
|
|
|
|
|
|
[features]
|
|
|
|
|
default = []
|
|
|
|
|
persistence = ["serde", "egui_node_graph2/persistence", "eframe/persistence"]
|
