| Commit message (Collapse) | Author | Age |
| |
|
|
|
| |
This allows most users to not need to type COQPATH=... on make.
|
|
|
|
|
|
|
|
|
| |
Since we're building for both 8.4 and 8.5, we don't want to see warnings
about appcontext being deprecated.
Many of the notation-overridden warnings come from standard library
imports (see [bug #4962](https://coq.inria.fr/bugs/show_bug.cgi?id=4962))
so it's not clear that there's anything we can do about them.
|
| |
|
|
|
|
| |
This is the problem with copy-paste solutions. (Thanks @jadephilipoom)
|
|
|
|
| |
This should fix #34
|
| |
|
|
|
|
|
|
|
|
| |
This should fix #27. We depend on some files in the etc/coq-scripts
submodule.
Note that you need to either run `make cleanall -k` or `rm -f Makefile.coq`
after pulling this to build the development.
|
|
|
|
|
|
| |
This fixes #31
Thanks @cpitclaudel!
|
| |
|
| |
|
|
|
|
| |
This way, we treat trunk as 8.5.
|
|
|
|
| |
Instructions for 8.4 build in the README
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
This simplifes the build process, and also allows us to try to build
with 8.5. We autodetect the version of Coq in the Makefile to decide
which version of coqprime to build.
|
| |
|
|
|
|
| |
Also move a definition about words, with a TODO about location, into WordUtil.
|
|
|
|
|
|
|
|
| |
Removed all of the files not built by default; they can be resurrected from git
history. _CoqProject is the standard way to list the files in a project and to
give information to coq_makefile. COQPATH is the standard way to make use of
not-yet-installed libraries that are not part of your project (i.e., you don't
want to remove them when you `make clean`, etc.).
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|