CMakeLists.txt hardcodes Python version 3.6

[laurynas-biveinis]

On macOS, with latest Homebrew Python, which is 3.7:
$ cmake ...
(no issues nor any Python-related output)
$ make
...
[ 1%] Generating timestamp
make[2]: PYTHON-NOTFOUND: No such file or directory

This appears to be caused by https://github.com/trailofbits/deepstate/blob/master/CMakeLists.txt#L59 hardcoding "python3.6" as executable name to search for. Naturally, this fails to find python3.7. Editing the line to "python3" allows the build to complete

[ggrieco-tob]

The current master branch is (kind of) broken, since we had only partial python3 support. Sorry! I promise I will fix this soon (and this issue as well).

[laurynas-biveinis]

@ggrieco-tob, is there a known good branch/tag/commit hash I could use currently for work along the lines of https://blog.trailofbits.com/2019/01/22/fuzzing-an-api-with-deepstate-part-1/ (i.e. simple proof-of-concept ADT fuzzing?)

(on a related note to the original report, README.md still lists Python 2 as a dependency)

[ggrieco-tob]

Yes!, 4dfd951 from master should work.

[ggrieco-tob]

Also, if you want direct support (or to discuss new ideas!) about DeepState, don't forget to join the #deepstate channel in the Empire Hacking slack. 😄

[ggrieco-tob]

This should be fixed now. Thanks!

[laurynas-biveinis]

Confirmed. Thank you!