idris-python MacOS support

Can I build this on MacOS Catalina?

Currently when I'm trying to launch stack build I have an error

Installed GHC.

Error: While constructing the build plan, the following exceptions were encountered:

In the dependencies for Cabal-2.4.1.0:
    unix must match >=2.6.0.0 && <2.8, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed due to idris-cam-0.1.0.0 -> Cabal-2.4.1.0

In the dependencies for base-compat-0.10.5:
    unix needed, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed due to idris-cam-0.1.0.0 -> base-compat-0.10.5

In the dependencies for directory-1.3.6.0:
    unix must match >=2.5.1 && <2.9, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed due to idris-cam-0.1.0.0 -> directory-1.3.6.0

In the dependencies for haskeline-0.7.5.0:
    unix must match >=2.0 && <2.9, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed due to idris-cam-0.1.0.0 -> haskeline-0.7.5.0

In the dependencies for hfsevents-0.1.6:
    unix needed, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed due to idris-cam-0.1.0.0 -> hfsevents-0.1.6

In the dependencies for idris-1.3.2:
    unix must match <2.8, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed due to idris-cam-0.1.0.0 -> idris-1.3.2

In the dependencies for idris-cam-0.1.0.0:
    unix must match <2.8, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed since idris-cam is a build target.

In the dependencies for network-2.8.0.0:
    unix must match >=2, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed due to idris-cam-0.1.0.0 -> network-2.8.0.0

In the dependencies for process-1.6.7.0:
    unix must match >=2.5 && <2.8, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed due to idris-cam-0.1.0.0 -> process-1.6.7.0

In the dependencies for unix-compat-0.5.1:
    unix must match >=2.4 && <2.9, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed due to idris-cam-0.1.0.0 -> unix-compat-0.5.1

In the dependencies for zip-archive-0.4:
    unix needed, but the stack configuration has no specified version  (latest matching version is 2.7.2.2)
needed due to idris-cam-0.1.0.0 -> zip-archive-0.4

Some different approaches to resolving this:

  * Recommended action: try adding the following to your extra-deps in /Users/bmwant/projects/idris-cam/stack.yaml:

- unix-2.7.2.2@sha256:e69269a17b9fa26cb77f3f55e86c39d0a4940ccfa0c4bc20826919d2572076ad,3496

Plan construction failed.

Is it related to the OS used or some specific versions of toolset is required? Any guidance of how I should debug/resolve this error would be helpful.

Mar 21 '20 14:03 bmwant

you have to change stack.yml, comment and uncomment some platform specific settings: https://github.com/thautwarm/idris-cam/blob/d25827fa8cf2203fdef65d685a04c1b305fcf430/stack.yaml#L6

personally I'd suggest you use https://github.com/thautwarm/Quick-Backend

I will keep maintaining it as a future research, the technique stuffs of this project are out of date.

Mar 21 '20 14:03 thautwarm

So I was able to install on my Ubuntu 18.04 machine with a following configuration stack.yml

resolver: lts-13.17

packages:
- .

# for unix:
extra-deps:
- idris-1.3.1@sha256:8586191c8722199c608b86a44cbf6571875fd425a0041e798ecc100d2e9537fc
- Cabal-2.2.0.1@sha256:2a80d8fb655474f0eaeb20434c47f64f84e6302e55973056f00df8ca050b9683
- aeson-1.3.1.1@sha256:1ab29743b4c4c9be7df57200ed2c8779048adda4cead075944b7b471e93ed4c3
- code-page-0.1.3@sha256:9e13dee5c6d23e570f72cb376e7996ffcd9728c4a6daa60f05f2f2c204296eec
- containers-0.5.11.0@sha256:28ad7337057442f75bc689315ab4ec7bdf5e6b2c39668f306672cecd82c02798
- megaparsec-6.5.0@sha256:a1dfed92863607ea9f7609a0578d486761a052a4d01aaff95b90f25da2564346
- network-2.7.0.2@sha256:7cb8d7bc2080be946cf87890c807b12dae9c59314fa030b2687999100ce60512
- zip-archive-0.3.3@sha256:53f871653059f87285f434319598f380d986cd7fd9219de555dcafc496121a7c
- binary-0.8.8.0@sha256:e9387a7ef2b34c6a23b09664c306e37cc01ae2cb4e4511a1c96ffb14008c24b0,6262

and then also

$ pip install toolz
$ pip install numpy

before doing pip install idris-python

Mar 22 '20 11:03 bmwant