Mercurial > urweb
comparison demo/prose @ 1301:4359e185d3af
Demo improvements
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Thu, 30 Sep 2010 18:29:59 -0400 |
| parents | 0ae8894d5c97 |
| children | 5588ac6fa9f3 |
comparison
equal
deleted
inserted
replaced
| 1300:e3944a8a128a | 1301:4359e185d3af |
|---|---|
| 3 <p>This demo is built automatically from Ur/Web sources and supporting files. If you unpack the Ur/Web source distribution, then the following steps will (if you're lucky) build you a local version of this demo. If you're not lucky, you can consult the beginning of <a href="http://www.impredicative.com/ur/manual.pdf">the manual</a> for more detailed instructions. | 3 <p>This demo is built automatically from Ur/Web sources and supporting files. If you unpack the Ur/Web source distribution, then the following steps will (if you're lucky) build you a local version of this demo. If you're not lucky, you can consult the beginning of <a href="http://www.impredicative.com/ur/manual.pdf">the manual</a> for more detailed instructions. |
| 4 | 4 |
| 5 <blockquote><pre>./configure | 5 <blockquote><pre>./configure |
| 6 make | 6 make |
| 7 sudo make install | 7 sudo make install |
| 8 urweb -demo /Demo demo</pre></blockquote></p> | 8 urweb -noEmacs -demo /Demo demo</pre></blockquote></p> |
| 9 | 9 |
| 10 <p>The <tt>-demo /Demo</tt> flag says that we want to build a demo application that expects its URIs to begin with <tt>/Demo</tt>. The final argument <tt>demo</tt> gives the path to a directory housing demo files. One of the files in that directory is <tt>prose</tt>, a file describing the different demo pieces with HTML. Some lines of <tt>prose</tt> have the form <tt><i>foo</i>.urp</tt>, naming particular project files (with the extension <tt>.urp</tt>) in that directory.</p> | 10 <p>The <tt>-demo /Demo</tt> flag says that we want to build a demo application that expects its URIs to begin with <tt>/Demo</tt>. The final argument <tt>demo</tt> gives the path to a directory housing demo files. One of the files in that directory is <tt>prose</tt>, a file describing the different demo pieces with HTML. Some lines of <tt>prose</tt> have the form <tt><i>foo</i>.urp</tt>, naming particular project files (with the extension <tt>.urp</tt>) in that directory.</p> |
| 11 | 11 |
| 12 <p>These project files can also be built separately. For example, you could run | 12 <p>These project files can also be built separately. For example, you could run |
| 13 | 13 |