Skip to content

clarus/repos2web

master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
src
 
 
 
 
 
 
 
 
 
 
 
 

Repos2Web

The website of the OPAM packages for Coq.

Run

Install the dependencies:

opam repo add coq-stable https://github.com/coq/repo-stable.git
opam install -j4 coq:io:system

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

Clone a Coq OPAM repository:

cd extraction/
git clone https://github.com/coq/repo-stable

Run the program (you need to install the dpkg tool, which should be available even on non-Debian based distributions):

cd extraction/
./repos2web.native repo-stable
make serve

You can now browse the result on localhost:8000.

About

A website of the OPAM packages for Coq.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages