| 155 |
scp webiface cduce@iris:cgi-bin/cduce |
scp webiface cduce@iris:cgi-bin/cduce |
| 156 |
ssh cduce@iris "chmod +s cgi-bin/cduce" |
ssh cduce@iris "chmod +s cgi-bin/cduce" |
| 157 |
|
|
| 158 |
install_web_local: |
# |
| 159 |
ssh root@localhost "cp -f ~beppe/IMPLEM/CDUCE/webiface /var/www/cgi-bin/cduce; cp -f ~beppe/IMPLEM/CDUCE/web/www/*.php /var/www/html/; chmod +s /var/www/cgi-bin/cduce;" |
# Customize the following variables to match the settings |
| 160 |
|
# of your local web server |
| 161 |
|
# |
| 162 |
|
WEB_PREFIX = /var/www |
| 163 |
|
CGI_DIR = $(WEB_PREFIX)/cgi-bin |
| 164 |
|
CDUCE_HTML_DIR = $(WEB_PREFIX)/html |
| 165 |
|
|
| 166 |
|
install_web_local: web/files |
| 167 |
|
scp -r web/www/*.php web/cduce.css web/img root@localhost:$(CDUCE_HTML_DIR) |
| 168 |
|
scp webiface root@localhost:$(CGI_DIR) |
| 169 |
|
|
| 170 |
|
|
| 171 |
website: web/files |
website: web/files |
| 172 |
scp web/www/*.php web/cduce.css cduce@iris:public_html/ |
scp web/www/*.php web/cduce.css cduce@iris:public_html/ |