Keep static crates in $DDLOG_HOME.

vmware / differential-datalog

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.

MIT License

1.35k stars 117 forks source link

Keep static crates in $DDLOG_HOME. #759

Open ryzhyk opened 3 years ago

ryzhyk commented 3 years ago

Change code generation to keep static crates (d3log, cli, differential_daltalog, ovsdb) under $DDLOG_HOME instead of copying them to each generated Rust project.

mihaibudiu commented 3 years ago

Wouldn't this cause a race if multiple compilations are started concurrently? Is there a way to lock a crate?

ryzhyk commented 3 years ago

I don't believe it will, as each compilation job will keep its build files locally.

Kixiron commented 3 years ago

That's correct, each job is separated so no race conditions will/can happen

ryzhyk commented 3 years ago

@convolvatron