2018-03-13 18:04:21 +03:00
|
|
|
[workspace]
|
|
|
|
|
2018-09-06 23:43:00 +03:00
|
|
|
members = [
|
2021-01-02 21:28:00 +03:00
|
|
|
"abstio",
|
2018-09-06 23:43:00 +03:00
|
|
|
"abstutil",
|
2021-09-14 21:53:06 +03:00
|
|
|
"cli",
|
2020-11-06 03:16:40 +03:00
|
|
|
"collisions",
|
2018-09-06 23:43:00 +03:00
|
|
|
"convert_osm",
|
2020-11-24 02:54:09 +03:00
|
|
|
"fifteen_min",
|
2019-09-07 23:09:09 +03:00
|
|
|
"game",
|
2018-09-06 23:43:00 +03:00
|
|
|
"geom",
|
|
|
|
"headless",
|
2020-03-26 05:54:33 +03:00
|
|
|
"importer",
|
2018-09-06 23:43:00 +03:00
|
|
|
"kml",
|
2019-09-23 23:54:09 +03:00
|
|
|
"map_editor",
|
2020-11-23 03:11:27 +03:00
|
|
|
"map_gui",
|
2018-09-06 23:43:00 +03:00
|
|
|
"map_model",
|
2020-11-24 01:52:15 +03:00
|
|
|
"osm_viewer",
|
2020-11-23 23:07:30 +03:00
|
|
|
"parking_mapper",
|
2020-12-10 09:11:05 +03:00
|
|
|
"popdat",
|
2020-12-19 21:01:28 +03:00
|
|
|
"santa",
|
2018-09-06 23:43:00 +03:00
|
|
|
"sim",
|
2020-11-05 23:42:52 +03:00
|
|
|
"tests",
|
2020-10-02 04:24:35 +03:00
|
|
|
"traffic_seitan",
|
2020-12-31 22:01:48 +03:00
|
|
|
"traffic_signal_data",
|
2020-05-02 05:22:03 +03:00
|
|
|
"updater",
|
2020-08-27 20:37:04 +03:00
|
|
|
"widgetry",
|
2020-10-06 01:09:12 +03:00
|
|
|
"widgetry_demo",
|
2018-09-06 23:43:00 +03:00
|
|
|
]
|
2020-02-18 18:56:38 +03:00
|
|
|
|
|
|
|
# See https://doc.rust-lang.org/cargo/reference/profiles.html#overrides. This
|
|
|
|
# compiles all external dependencies as release mode, yielding great runtime
|
|
|
|
# speed, but only paying the cost of slow compilation once (since we don't
|
|
|
|
# update dependencies often).
|
|
|
|
[profile.dev.package."*"]
|
|
|
|
opt-level = 3
|
2020-12-15 04:48:47 +03:00
|
|
|
|
|
|
|
[patch.crates-io]
|
2021-10-24 23:44:43 +03:00
|
|
|
# Waiting for release: https://github.com/21re/rust-geo-booleanop/pull/27
|
|
|
|
geo-booleanop = { git = "https://github.com/21re/rust-geo-booleanop" }
|
2021-02-09 03:34:56 +03:00
|
|
|
|
2021-05-23 02:23:06 +03:00
|
|
|
# Waiting for a new crates.io release, but git uses latest geo versions
|
|
|
|
polylabel = { git = "https://github.com/urschrei/polylabel-rs" }
|
2021-07-25 20:11:12 +03:00
|
|
|
|
|
|
|
# Waiting on release of PR: https://github.com/georust/geo/pull/654
|
2021-10-24 23:44:43 +03:00
|
|
|
geo = { git = "https://github.com/georust/geo" }
|
|
|
|
geo-types = { git = "https://github.com/georust/geo" }
|