Re: [seL4] Invalid package ID: "array-0.5.1.1 base-4.9.0.0 binary-0.8.3.0 bytestring-0.10.8.1"

Sorry didn't notice the mail was sent to the wrong place. Apologize for that. With commands `stack upgrade` and `stack upgrade --git` I still get Invalid package ID error message or failing during `make`. Below contains output result: - Command stack upgrade --git Information about the commit this version of stack was built from is not available due to how it was built. Will continue by assuming an upgrade is needed because we have no information to the contrary. Cloning stack Cloning into 'stack'... remote: Counting objects: 541, done. remote: Compressing objects: 100% (416/416), done. remote: Total 541 (delta 43), reused 301 (delta 22), pack-reused 0 Receiving objects: 100% (541/541), 635.82 KiB | 112.00 KiB/s, done. Resolving deltas: 100% (43/43), done. Checking connectivity... done. Downloaded lts-8.5 build plan. Caching build plan Cabal file warning in /tmp/stack-upgrade5624/stack/stack.cabal: Ignoring unknown section type: custom-setup Cabal file warning in /tmp/stack-upgrade5624/stack/stack.cabal: Ignoring unknown section type: custom-setup Invalid package ID: "array-0.5.1.1 base-4.9.1.0 binary-0.8.3.0 bytestring-0.10.8.1" - Command `stack upgrade` then `make` ... [parse-capDL] building... make: Entering directory '/path/to/sel4/projects/capdl/capDL-tool' stack setup stack will use a locally installed GHC For more information on paths, see 'stack path' and 'stack exec env' To use this GHC and packages outside of a project, consider using: stack ghc, stack ghci, stack runghc, or stack exec stack build --only-dependencies Invalid package ID: "array-0.5.1.1 base-4.9.0.0 binary-0.8.3.0 bytestring-0.10.8.1" Makefile:39: recipe for target 'sandbox' failed

-------- Original Message -------- Subject: Re: [seL4] Invalid package ID: "array-0.5.1.1 base-4.9.0.0 binary-0.8.3.0 bytestring-0.10.8.1" Local Time: July 6, 2017 3:44 AM UTC Time: July 6, 2017 1:44 AM From: Anna.Lyons@data61.csiro.au To: devel@sel4.systems, tj5527@protonmail.com

Hi,

I think your stack version might need updating. Can you try s'tack upgrade --git'?

Cheers,

Anna.

---------------------------------------------------------------

From: Devel on behalf of tj5527 Sent: Thursday, 6 July 2017 6:43 AM To: devel@sel4.systems Subject: [seL4] Invalid package ID: "array-0.5.1.1 base-4.9.0.0 binary-0.8.3.0 bytestring-0.10.8.1"

Another problem when making sel4. The make program complains Invalid package ID: "array-0.5.1.1 base-4.9.0.0 binary-0.8.3.0 bytestring-0.10.8.1". [parse-capDL] building... make: Entering directory '/path/to/sel4/projects/capdl/capDL-tool' stack setup stack will use a locally installed GHC For more information on paths, see 'stack path' and 'stack exec env' To use this GHC and packages outside of a project, consider using: stack ghc, stack ghci, stack runghc, or stack exec stack build --only-dependencies Invalid package ID: "array-0.5.1.1 base-4.9.0.0 binary-0.8.3.0 bytestring-0.10.8.1" Makefile:39: recipe for target 'sandbox' failed make: *** [sandbox] Error 1 How can I fix this? Thank you. Ubuntu 16.04 LTS GNU Make 4.1 gcc version 5.4.0 20160609