Generation of a sample Coq website for OPAM
Coq HTML Other
Latest commit b07be39 Sep 6, 2016 @clarus clarus Add a disclaimer
Permalink
Failed to load latest commit information.
extraction Updated footer Nov 22, 2015
src Add a disclaimer Sep 6, 2016
.gitignore Updated .gitignore Nov 21, 2015
LICENSE Initial commit Mar 19, 2015
Make Update to the new versions of dependencies May 10, 2015
README.md Better packages search Nov 21, 2015
configure.sh First commmit Mar 19, 2015
opam Opam file added Nov 21, 2015

README.md

OPAM website

Generation of the Coq website for OPAM. http://coq.io/opam/

Run

Install the dependencies:

opam install coq-io-system coq-io-exception

Compile the Coq code:

./configure.sh
make

Compile the extracted OCaml code:

cd extraction/
curl -L https://github.com/clarus/coq-red-css/releases/download/coq-blog.1.0.2/style.min.css >html/style.min.css
make

Run the program:

cd extraction/
./opamWebsite.native
make serve

You can now browse the result on localhost:8000.