Coder Social home page Coder Social logo

install-all-opam's Introduction

Install all OPAM

Install a maximum of OPAM Coq packages.

Start from an OPAM folder where nothing is installed, add your repositories and run:

ruby install_all.rb 8.4.6

This will print you the command to simultaneously install the maximum number of OPAM Coq packages for Coq version 8.4.6. On our machine, this prints:

opam install coq-io-hello-world.1.1.0 coq-opam-website.1.3.2 coq-io-system.2.4.0 coq-io-system-ocaml.2.3.0 coq-concurrency-system.1.0.0 coq-moment.1.0.0 coq-io-exception.1.1.0 coq-interval.2.2.0 coq-plouffe.1.1.0 coq-coqeal-theory.0.9.1 coqide.8.4.6 coq-list-string.2.1.1 coq-io-evaluate.1.0.0 coq-iterable.1.0.0 coq-io-list.1.1.0 coq-corn.1.0.0 coq-coquelicot.2.1.0 coq-math-comp.1.5.0 coq-compcert.2.5.0 coq-color.1.1.0 coq-constructors.1.0.0 coq-cunit.1.0.0 coq-error-handlers.1.2.0 coq-ext-lib.0.9.0 coq-flocq.2.5.0 coq-force-84.1.0.0 coq-function-ninjas.1.0.0 coq-geocoq.1.1.0 coq-io.3.2.0 coq-list-plus.1.1.0 coq-math-classes.1.0.2 coq-ssreflect.1.5.0 coq.8.4.6 coq:shell.1

We use the --criteria="+new,-notuptodate" option, trick due to Fabrice Le Fessant.

install-all-opam's People

Contributors

clarus avatar

Stargazers

avatar

Watchers

avatar avatar avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.