Commits

Anonymous committed 8555343

deployなど

  • Participants
  • Parent commits eaa9a74

Comments (0)

Files changed (3)

 #!/bin/sh
+sed s/::text:://g index.template | sed s/::result:://g > index.html
 coqc main.v
 ocamlopt -c coqMain.mli coqMain.ml
 ocamlopt nums.cmxa str.cmxa util.ml coqMain.ml reader.ml parser.ml main.ml -o index.cgi
+cp index.template index.cgi /usr/lib/cgi-bin/calcoq/
+cp index.html /var/www/calcoq/

File index.template

 </head>
 
 <body>
-<a href='/index.html'>Home</a>
+<a href='/'>Home</a>
 
 <h1>CalCoq</h1>
 <p>Arbitrary Precision Calculator (by Coq)</p>
 <center>
 <br>
-<form action='index.cgi' method='post' name='calc'>
+<form action='/cgi-bin/calcoq/index.cgi' method='post' name='calc'>
 <table border=0 cellspacing=0 cellpadding=0>
  <tr><td valign=top>
   <table border=1 cellpadding=1 cellspacing=1 bgcolor=#7597dd id='free' width=650>