diff options
| author | anwu1219 <haozewu@stanford.edu> | 2018-09-25 10:07:13 -0700 |
|---|---|---|
| committer | anwu1219 <haozewu@stanford.edu> | 2018-09-25 10:07:13 -0700 |
| commit | 146db4caba235a0cbd55b2877b1e664d85187a42 (patch) | |
| tree | 6f6538fc188aab08d51ca90e287e6983fc1f7fff /cryptominisat5/cryptominisat-5.6.3/web/README.markdown | |
| parent | 5cfc2d1c7a3bd6acaa26a0a8e7dda12b6bbf17b4 (diff) | |
clean up
Diffstat (limited to 'cryptominisat5/cryptominisat-5.6.3/web/README.markdown')
| -rw-r--r-- | cryptominisat5/cryptominisat-5.6.3/web/README.markdown | 57 |
1 files changed, 0 insertions, 57 deletions
diff --git a/cryptominisat5/cryptominisat-5.6.3/web/README.markdown b/cryptominisat5/cryptominisat-5.6.3/web/README.markdown deleted file mode 100644 index d5c7fc8d8..000000000 --- a/cryptominisat5/cryptominisat-5.6.3/web/README.markdown +++ /dev/null @@ -1,57 +0,0 @@ -Install MySQL, PHP and Apache2 ------- - -``` -sudo apt-get install php5 php5-mysqlnd apache2 libapache2-mod-php5 myslq-server -sudo a2enmod php5 -./cmsat_mysql_setup.sh [mysql root passowrd if not empty] -``` - -Do NOT expose Apache to the outside. Do this by changing in `/etc/apache2/ports.conf` the line`Listen 80` to `Listen 127.0.0.1:80`. Similarly, change `Listen 443` to `Listen 127.0.0.1:443` - -Set up Apache ------- -My `/etc/apache2/sites-enabled/000-default` is: - -``` -<VirtualHost *:80> - ServerAdmin webmaster@localhost - - DocumentRoot /home/soos/cryptominisat/web - <Directory /home/soos/cryptominisat/web/> - Options Indexes FollowSymLinks MultiViews - AllowOverride None - </Directory> - - ErrorLog ${APACHE_LOG_DIR}/error.log - - LogLevel warn - CustomLog ${APACHE_LOG_DIR}/access.log combined -</VirtualHost> -``` - -After suitably fixing yours up (or just using the above), issue `sudo service apache2 restart`. - -Build CryptoMiniSat ------- - -``` -rm -rf build -mkdir build && cd build -cmake -DSTATS=ON .. -make -sudo make install -sudo ldconfig -``` - -Run CryptoMiniSat ------- - -``` -cryptominisat5 --sql 1 --sqlfull 1 file.cnf -``` - -Explore -------- - -Navigate to `localhost` and enjoy! |