I've settled on the following structure for my git repo while I'm developing the TheoryEngine. This is working well for now and I'll update if I find that this structure is no longer sufficient as I progress.
The repository layout is pretty simple:
We have the playground repository which contains all of the driver applications that make use of the theory engine. The theory-engine is included as a submodule, as is vcpkg which is what I'm currently using the manage all of the dependencies.
The file structure is as you would imagine, within the playground repository you'll find a src folder which contains the root cmake for the project. The theory-engine submodule is added a subfolder to this src folder. The vcpkg repository submodule is added to the root of the playground repo under the libs folder.
The projects are configured to output all of the binaries and intermediary files to the /bin folder which is at the root of the playground repository. This makes it trivial to cleanup all intermediary files and binaries and build everything from scratch.
Comentários