coq-planif-transition1

Usage

Overview

This script can be used when new versions of Coq packages get released, to check everything is ok with the rest of the stack.

You're supposed to call it with a space-separated list of packages with a new version, and the result is generally several lines of space-separated package names corresponding to what needs to be rebuilt, where packages on the same line can be compiled at the same time.

To make this planning on package compilation and testing easier, the --org-mode option gives an output suitable for insertion in an Emacs org-mode file.

If you use sbuild to compile the packages, with sbuild configured with a local repo, you can then put the packages in the repo step by step and check that the new versions don't break anything.

Examples

coq-planif-transition ssreflect coq-stdpp