search

oilshell / oil

Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!
http://www.oilshell.org/
Other
2.78k stars 150 forks source link

[build] check in souffle c++ #1987

Closed melvinw closed 4 weeks ago

melvinw commented 4 weeks ago

Souffle takes forever to build. To make this stuff more accessible to all devs, this commit adds the souffle C++ headers to vendor/souffle and checks in the generated C++ for mycpp/datalog/call-graph.dl. It also tweaks the ninja libraries to accommodate the new process.

andychu commented 4 weeks ago

Can you add something to soil/worker.sh to show that it builds and runs? I guess we can use the deps/source.medo/souffle/smoke-test.dl

i.e. check that into prebuilt/, and then have a little soil task that builds and runs the C++, similar to the smoke test you already wrote

As something that's de-coupled from whatever we do with mycpp

andychu commented 4 weeks ago

I think it could belong in the cpp-small task

melvinw commented 4 weeks ago

Good idea re: the test. Pushed a commit to add that

andychu commented 4 weeks ago

Great thanks!