Parent Directory
|
Revision Log
|
Patch
| revision 104 by abate, Tue Jul 10 17:05:54 2007 UTC | revision 105 by abate, Tue Jul 10 17:06:31 2007 UTC | |
|---|---|---|
| # | Line 135 | Line 135 |
| 135 | fort all.cma $(INCLUDES) tests/test_fort.ml | fort all.cma $(INCLUDES) tests/test_fort.ml |
| 136 | ||
| 137 | include depend | include depend |
| 138 | ||
| 139 | ||
| 140 | # Site-specific installation | |
| 141 | build_web: | |
| 142 | rsh cedre ". .env; cd IMPLEM/CDUCE; make webiface" | |
| 143 | install_web: | |
| 144 | scp webiface cduce@iris:cgi-bin/cduce2 |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |