Dockerize the repository

2019-05-26 00:12:02 -05:00
parent cd116c0ad2
commit e3fdc25ce5
6 changed files with 132 additions and 6 deletions
@@ -30,7 +30,7 @@ setuptools.setup(
    author_email="peter@trailofbits.com",
    license="Apache-2.0",
    keywords="tdd testing symbolic execution",
-    install_requires=[], #'claripy==7.8.6.16','angr==7.8.7.1', 'manticore'],
+    install_requires=['claripy', 'angr', 'manticore'],
    entry_points={
        'console_scripts': [
            'deepstate = deepstate.main_manticore:main',