src/hammer_errors.ml
src/hhlib.ml
src/escaping.ml
src/hh_term.ml
src/msg.ml
src/coq.ml
src/opt.ml
src/features.ml
src/provers.ml
src/hammer.ml4
src/hammer_plugin.mllib
theories/Reconstr.v
theories/Hammer.v
-R theories Hammer
-I src
-extra predict "src/predict/main.cpp src/predict/predictor.cpp src/predict/format.cpp src/predict/knn.cpp src/predict/nbayes.cpp src/predict/rforest.cpp src/predict/tfidf.cpp src/predict/dtree.cpp" "g++ -std=c++11 -DCOQ_MODE -O2 -Wall src/predict/main.cpp -o predict"
-extra-phony "install-predict" "" "install -m 0755 predict /usr/local/bin/predict"
-extra-phony "install" "install-predict" ""
