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 <devel-bounces@sel4.systems> on behalf of tj5527 <tj5527@protonmail.com>
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