cprover
linking/README.md
Go to the documentation of this file.
1 \ingroup module_hidden
2 \defgroup linking linking
3 
4 # Folder linking
5 
6 \author Martin Brain
7 
8 This allows multiple ‘object
9 files’ (goto-programs) to be linked into one ‘executable’ (another
10 goto-program), thus allowing existing build systems to be used to build
11 complete goto-program binaries.