blob: d5c7fc8d8e8a0d491a075fb8379b9a0fde11a84f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
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!
|