Stream: Coq Platform devs & users

Topic: QuickChick installation issues


view this post on Zulip Josef Gharib (Dec 09 2021 at 09:31):

Hello, I'm currently going through QC in the QuickChick Software Foundations book (https://softwarefoundations.cis.upenn.edu/qc-current/QC.html), but I'm having issues when trying to run "Sample" (for example "Sample (returnGen 42).").
I'm getting the error:
"Could not compile test program: /var/folders/s2/tt05wb8n45zfytbqf5mqkvhh0000gn/T/QuickChick/102654/QuickChick0ce2bc.ml"

Anyone who knows what may cause this error?

Running on MACOS with Coq Platform.
QuickChick version 1.5.1
Coq version 8.13.2

view this post on Zulip Karl Palmskog (Dec 09 2021 at 09:33):

@Michael Soegtrop could this be due to the Platform not including an OCaml compiler?

view this post on Zulip Karl Palmskog (Dec 09 2021 at 09:35):

@Josef Gharib if you installed the Coq Platform via an installer, something you could try is manually installing it via the opam scripts, e.g., https://github.com/coq/platform/blob/main/doc/README_macOS.md#installation-by-compiling-from-sources-using-opam

Then you should have a full-fledged OCaml system, which might solve this issue.

view this post on Zulip Michael Soegtrop (Dec 09 2021 at 09:39):

It should work since we have smoke tests for QuickChick and these are tested on installed platform. But possibly the smoke test is not sufficient - I will look into this specific case.

@Josef Gharib : please create an issue at https://github.com/coq/platform/issues.

view this post on Zulip Notification Bot (Dec 09 2021 at 09:41):

This topic was moved here from #Miscellaneous > QuickChick installation issues by Karl Palmskog

view this post on Zulip Bas Spitters (Dec 09 2021 at 11:44):

May be related to either:
https://github.com/QuickChick/QuickChick/issues/203
https://github.com/coq/coq/issues/9365
based on the error message, although I don't see an immediate solution there.

view this post on Zulip Li-yao (Dec 09 2021 at 13:23):

What's the error in the build.log file, where the QuickChick*****.mlfile is located?


Last updated: Mar 19 2024 at 04:02 UTC