https://github.com/clarus/repos2web

A website of the OPAM packages for Coq.
https://github.com/clarus/repos2web

Last synced: about 2 months ago
JSON representation

A website of the OPAM packages for Coq.

• Host: GitHub
• URL: https://github.com/clarus/repos2web
• Owner: clarus
• License: mit
• Created: 2015-02-14T12:06:21.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2015-07-03T09:51:55.000Z (almost 10 years ago)
• Last Synced: 2025-02-16T12:25:35.604Z (4 months ago)
• Language: Coq
• Homepage:
• Size: 371 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# 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](http://localhost:8000/).