Right now, when Roosterize suggests lemma names for a complete project, that project has to be built first (usually using make in it root directory). However, it would be more intuitive to pass a build command to Roosterize than build the project separately.
For example, one could introduce a buildcmd command-line option, used as follows:
python -m roosterize.main suggest_lemmas \
--project=../StructTact \
--serapi-options="-Q theories,StructTact" \
--model-dir=./models/roosterize-ta \
--output=./output \
--buildcmd "./configure && make -j2"
Right now, when Roosterize suggests lemma names for a complete project, that project has to be built first (usually using
makein it root directory). However, it would be more intuitive to pass a build command to Roosterize than build the project separately.For example, one could introduce a
buildcmdcommand-line option, used as follows: