search

GaloisInc / saw-script

The SAW scripting language.
BSD 3-Clause "New" or "Revised" License
433 stars 63 forks source link

Cycle in submodule deps #2065

Open TomMD opened 1 week ago

TomMD commented 1 week ago

I'd thought I submitted this issue before but probably to a different repo. There is a cycle in the submodule dependencies which makes saw-script uncloneable w/ submodules.

$ git submodule update --init --recursive
...
Submodule 'submodules/macaw-loader' (git@github.com:GaloisInc/macaw-loader.git) registered for path 'deps/macaw/deps/macaw-loader/submodules/macaw/deps/macaw-loader'

See how macaw depends on macaw-loader depends on macaw ...

RyanGlScott commented 1 week ago

See https://github.com/GaloisInc/macaw/issues/283.