some fixes due to problems with coqc-8.16.1

Philip Kaluđerčić authored 1 year ago and Max Ole Elliger committed 1 year ago

This is necessary, since the _CoqProject now contains a list of all
files in _CoqProject, and any changes in those directories should be
propagated to the _CoqProject as well.

Philip Kaluđerčić authored 1 year ago and Max Ole Elliger committed 1 year ago

This is necessary to resolve error messages of the form

  Unknown option prop

which appear to have confused "coqc", since it refuses the handle a
directory implicitly.

Philip Kaluđerčić authored 1 year ago and Max Ole Elliger committed 1 year ago

We inject a custom order of VFILES (vernacular files) when deferring
the invocation the "html" PHONY-target in the generated Coq Makefile,
that is ordered using the output of the "coqdep" utility.  This
ensures that the partial order induced by Require is respected in the
output of "toc.html", up to topological sorting.

enabled sorting in html-output

After simplifiying the _CoqProject-generation, the files are correctly
sorted.

Include/comoproj v2.1.0

See merge request !35

More use of generated makefile

See merge request oc59yqul/template_coq!4

include/comoproj/v2.0.0

See merge request !34

new structure for more folders in projects

Improved Makefile structure

See merge request oc59yqul/template_coq!3

Merge branch 'more_folder_extension' of gitlab.cs.fau.de:oc59yqul/template_coq into more_folder_extension

Co-authored-by: Philip Kaludercic <philip.kaludercic@fau.de>

Now there can be more than one folder, mapped to a Libname.

Co-authored-by: Philip Kaludercic <philip.kaludercic@fau.de>

Include comoproj v1.2.0

See merge request !33

added description, how you can compile your project in multiple versions. added latest as additional default version

More examples

See merge request !32

Signed-off-by: Max Ole Elliger <ole.elliger@fau.de>