search

CoqHott / coq-forcing

A plugin for Coq that implements the call-by-name forcing translation
12 stars 3 forks source link

Fixing _CoqProject so that make install works. #3

Closed herbelin closed 3 years ago

herbelin commented 3 years ago

The make install target of coq_makefile does not like trailing / in -R options (at least in 8.6).