coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Configuring CoqIDE for multiple file projects

From: Pierre Courtieu <pierre.courtieu AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Configuring CoqIDE for multiple file projects
Date: Wed, 31 May 2017 09:03:57 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=pierre.courtieu AT gmail.com; spf=Pass smtp.mailfrom=pierre.courtieu AT gmail.com; spf=None smtp.helo=postmaster AT mail-wr0-f176.google.com
Ironport-phdr: 9a23:x6MRMxW2bE29hhO/lpaF1tC5wJPV8LGtZVwlr6E/grcLSJyIuqrYYxyCt8tkgFKBZ4jH8fUM07OQ6PG+HzFfqdbZ6TZZIcMKD0dEwewt3CUeQ+e9SnfHZMbwaCI7GMkQHHRExFqcdXZvJcDlelfJqWez5zNBUj/2NA5yO/inUtWK15f/2O+94YDcbBtVjzShf7xyMA+2rQLMvcUKnIduMKg8xx/Ir3dSe+lbx35jKVaPkxrh/Mu98ppu/iZKt/4968JMVLjxcrglQ7BfEDkpPGc56dHxuxXEUQWB+GYXXH8MkhpPDQjF7RX6UYn0vyDnqOdz2zSUMNPvQ7wsVjus86lkSBnziCcaLDE5633YitZxjK1Avh2soQF0zpPOb4GUMPp+eb7dfc8fSGFcUMtdSzBND4WhZIYJEuEPP/tXr5PlqlQMoxuwBQeiCuDyxDFWmnD7xrc13/g7HAzcwAAsA9ADvXLJp9v1LqcSVuW1wbHSwzXCcfxWwy3955bVeR0/pvGMQKhwcdbQyUYxCgPOk1KdqZTkPzyLzOQNqXaU4/B8WuKolm4nsR1xojmxyccxkYTJiYcVxUrF9SV92oo6Odq4SEtibNOiDZBetDmaOpNoTs8+R2xkoiU3x70ctZKmYiQHy44rywPdZvGGdYWD/wjtW/yLIThigXJoYLK/iAi28Uin0uD8U9O70FdOriZcnNjMrGwB2wXd6sSaSPZw/12t2TmI1wDU5eFEJV47mbDHJJ4mx748jpsTsULdES/qgEj6krOae0E+9uWr6+nreKjqqoGfOoNulw3zMKUjltS6AesiMwgOW2ab+f671L3m5UD5WLRKgeMskqnDrp/WP9gUpqmkAw9PzoYj6giwDyq93dQXmHkINlNFeBadg4f1PFHOJej0De2jjFS0jDdr2/fGM6X9DZXKN3jPiavufbJg60FH0wcz1tBe55dMCr4bOv7zW0nxtMbZDhAjKQC0zfznW51B0dYVXnvKCauEOovTt0WJ76QhObqifogQ7Q78JuI/6rbFimIjhV4QYOH9xZoacmq1WP9hPl+FYHfxqtgEGGYO+AE5Sbq52xW5TTdPaiPqDOoH7TYhBdf+AA==

The coq project file is read by coqide but its primary use is to generate a make file:

coq_makefile -f _CoqProject -o Makefile

Then compile your file with

make file.vo

It deals with dependancies and compilation options. This way the options used by coqide should also be given to coqc.

If it does not work we need more information: do you have several directories?etc.

Hope this helps.

Pierre

[Coq-Club] Configuring CoqIDE for multiple file projects, Kenneth Roe, 05/30/2017
- Re: [Coq-Club] Configuring CoqIDE for multiple file projects, Kenneth Roe, 05/30/2017
  - Re: [Coq-Club] Configuring CoqIDE for multiple file projects, Pierre Courtieu, 05/31/2017