Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Add LoadPath in Coq 8.12.2

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Add LoadPath in Coq 8.12.2


Chronological Thread 
  • From: Clément Pit-Claudel <cpitclaudel AT gmail.com>
  • To: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] Add LoadPath in Coq 8.12.2
  • Date: Tue, 19 Jan 2021 10:13:08 -0500
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=cpitclaudel AT gmail.com; spf=Pass smtp.mailfrom=cpitclaudel AT gmail.com; spf=None smtp.helo=postmaster AT mail-qk1-f172.google.com
  • Ironport-phdr: 9a23:lqKH+RTmhhfo5DH54nXYxKqMZdpsv+yvbD5Q0YIujvd0So/mwa6ybByN2/xhgRfzUJnB7Loc0qyK6vGmADRLv83J8ChbNsAVCFld0YRetjdjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9fbytScbdgMutyu+95YDYbRlWizqhe7NyKwi9oRnMusUMjoZuN6I8xgHUrndUdOhbxG1lLk+Xkxrg+8u85pFu/zlStv4768JMTaD2dLkkQLJFCzgrL3o779DxuxnZSguP6HocUmEInRdNHgPI8hL0UIrvvyXjruZy1zWUMsPwTbAvRDSt9LxrRwPyiCcGLDE27mfagdFtga1BoRKhoxt/w5PIYIyQKfFzcL/Rcc8cSGFcWMtaSi5PDZ6mb4YXEuQPI+hYoYn+qVUAoxSxCgujC//gxDJTmn/737c33/g9HQzI3gEtGc8FvnTOrNXyMacfSf64zK3SyjXGcfxW3yv955DSfBAgvfGARKx9cc7LxkkyCgzKkFGQopHiMjyJzuQNsnSb4PZkVe21lm4oth9+ojy0y8cjj4nGnIMVylTe+Splx4Y1IMS1RUhmatGrDJVerTuVN5dqQsw8WWFovj43xqECtJC1ciYG1ZUqyhHcZvGbb4WF7Q7uWeaSLDl3mX9reLOyihKv/UWg1ODxSsa53VZIoydBjNTBtX8D2h3X58WBV/Bz/V+h1C6R2wzP7uxIO0M5mKrBJ5I/3LI8iIAfvVnBEyPogEn6kqCbel8l9+S18ejrfLrrqoOGO4J3lg3zNLkllNalDuQiKAcOWnCW+eSi273n+k30WLBKgec3kqndqZzaPMcbqrOgDw9bz4ou6QizAy2p0NQfmnkHI1ZFdwydg4f1PFHOJej0Dfa5g1uyjDdm3+7KMqHlD5nXLXXOkK3tcahj50JC0gY/0NJS64xMBrEEOv3zW0vxtNLCDh8+Ngy52/roCM181oMCRW2PBrWWML7PvlCW4uIiOOaMZIoPtzb8L/gp/eLhjXg8mVMFZ6mmwYMXaGykHvRhO0iWfX3sgs4YHWgWugo+UfflhUaZUT9TYnayR7gz6is6CIKgF4fDR5qijKaP3CehTdVqYTVNDUnJGnP1fa2FXe0NYWScOJxPiDsBAJOlyoos0w2ZjA7mjpFjJ/fY9ylQ4Zn71cR+4+TOmRw23TNxBsWZlWqKSjcnzSszWzYq0fUn8gRGwVCZ3P0g2qEKJZlo//pMFzwCG9vcwuh9UY6gXwvAepKQSw/jTIz5W3c+SdU+x9JIaEF4SY370kLzmhGyCrpQrISlQYQu+/uFjXf0Lsd5jX3B0ft51gh0co50LWSjw5VH2U3WDo/NnV+ekv/zJ6sZ1S/JsmyEyDjXsQ==

On 1/19/21 9:51 AM, Jeremy Dawson wrote:
> Hi Clement,
>
> For several days, and over a dozen emails to this list, I tried to use a
> _CoqProject file but couldn't work out how to do it. I gathered it was
> either not possible or so difficult that it was effectively impossible.
>
> I could get my code working using the Add LoadPath command above, in Coq
> 8.11.2 (and earlier).

Ah, sorry, I missed that thread. Using -Q/-R with a _CoqProject is the only
approach I'm familiar with. If your troubles were specifically with
coq_makefile, you could try Dune.



Archive powered by MHonArc 2.6.19+.

Top of Page