This command is maybe too simple but it shows that we are missing some of them.
$ cd /path/to/HolBA/src/
$ find . -name "*Lib.sml" -exec sh -c "echo {} | sed 's/Lib.sml/Lib.sig/' | xargs ls >/dev/null" \;
ls: cannot access './tools/cfg/graphVizLib.sig': No such file or directory
ls: cannot access './tools/cfg/bir_cfgLib.sig': No such file or directory
ls: cannot access './tools/cfg/bir_cfgVizLib.sig': No such file or directory
ls: cannot access './tools/lifter/bir_lifter_simple_interfaceLib.sig': No such file or directory
ls: cannot access './tools/wp/bir_wp_simpLib.sig': No such file or directory
ls: cannot access './tools/wp/bir_wpLib.sig': No such file or directory
ls: cannot access './tools/wp/bir_wp_expLib.sig': No such file or directory
ls: cannot access './tools/exec/bir_exec_typingLib.sig': No such file or directory
ls: cannot access './tools/exec/bir_exec_auxLib.sig': No such file or directory
ls: cannot access './tools/exec/bir_exec_envLib.sig': No such file or directory
ls: cannot access './tools/exec/bir_exec_blockLib.sig': No such file or directory
ls: cannot access './tools/exec/bir_execLib.sig': No such file or directory
ls: cannot access './tools/exec/bir_exec_expLib.sig': No such file or directory
ls: cannot access './libs/bir_expLib.sig': No such file or directory
We should write
.sig
files for libraries.This command is maybe too simple but it shows that we are missing some of them.