coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] "undefined symbol: camlTacarg" with Coq trunk?

From: Jason Gross <jasongross9 AT gmail.com>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] "undefined symbol: camlTacarg" with Coq trunk?
Date: Wed, 29 Mar 2017 01:52:23 +0000
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jasongross9 AT gmail.com; spf=Pass smtp.mailfrom=jasongross9 AT gmail.com; spf=None smtp.helo=postmaster AT mail-qk0-f176.google.com
Ironport-phdr: 9a23:M5dy/xYeCl6W5exwtx5cnrb/LSx+4OfEezUN459isYplN5qZoMi8bnLW6fgltlLVR4KTs6sC0LuK9fi4EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQtFiT6ybL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD0fOjE28G/ZhM9+gr9Frh29vBFw2ZLYbZuPOfZiYq/Qf9UXTndBUMZLUCxBB5uxYY8VAOoaOuZYqZT2qVoUrRu5HgmsH/7kxzhKhnDsxq061OIhEQ7c3AwnBNIOq3DZoc76NKcXS++1za3IwS/fYPNR3Dfw8Y7FeQ0vr/GLWLJ/a8vRyU83GgPKj1WQtYzlPy6O2egXr2eb6O9gWOSygGAkswF8uiajytsoh4XThY8YykrI+TtnzIopP9G0VUx2bN+iHZBNrS+VLZF2TdknQ2xwuCY11LkGuZmjcSgP0psnxhrfZ+Wec4iL/h7vTeiRLSp6iX9kYr6/iBGy8U+vyu34SMa4ykpFri1AktXUt3AN0QLc6tSfR/dj4kus3SyD2gPT5+1eP0w4i7bXJ4Q8zrMyl5cfqUHDETX3mEXygq+WbEIk+u2w5uTleLrmvZicN4l7igHkNaQugde/DOAjPwgBWmiU4+W81Ln58ULlR7VKi+U6krPFv5DCOcQbuqm5DhdJ3YYk8hazFiup0NAFnXYcN19FYxKGj43xO17UOvz4DPG/g06tkDhx3fzGMKfhUd3xKS3Il66kdrJg4QYIww0qiNtb+ph8C7cbIfu1VFWn5/LCCRpsEQWvxOCvJ896zZhWDWCGGaifP7nVqkTZzu0qKuiIIoQSvWCueLAe+/fygCphyhcmdq6z0M5PZQ==

Hi,

When I try to build Bedrock (`make src`, branch 8.4+8.5, https://github.com/JasonGross/bedrock/tree/8.4%2B8.5) with Coq trunk, I get

COQC Bedrock/ILTac.v

Warning: Unknown warning name: deprecated-appcontext

[unknown-warning,toplevel]

File "./Bedrock/ILTac.v", line 17, characters 0-25:

Error:

while loading

/scratch/var/lib/jenkins/workspace/bedrock-src-trunk/coq_version/trunk/Bedrock/reification/reif.cmxs:

error loading shared library: /scratch/var/lib/jenkins/workspace/bedrock-src-trunk/coq_version/trunk/Bedrock/reification/reif.cmxs: undefined symbol: camlTacarg

Command exited with non-zero status 1

Bedrock/ILTac (real: 1.31, user: 1.00, sys: 0.30, mem: 528892 ko)

make: *** [Bedrock/ILTac.vo] Error 1

What's the right way to fix this?

Thanks,

Jason

[Coq-Club] "undefined symbol: camlTacarg" with Coq trunk?, Jason Gross, 03/29/2017
- Re: [Coq-Club] "undefined symbol: camlTacarg" with Coq trunk?, Emilio Jesús Gallego Arias, 03/29/2017
  - Re: [Coq-Club] "undefined symbol: camlTacarg" with Coq trunk?, Emilio Jesús Gallego Arias, 03/29/2017
    - Re: [Coq-Club] "undefined symbol: camlTacarg" with Coq trunk?, Jason Gross, 03/29/2017