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: [email protected]
> To: [email protected], [email protected]
>
> Hi,
>
> I think your stack version might need updating. Can you try s'tack upgrade
> --git'?
>
> Cheers,
>
> Anna.
>
> ---------------------------------------------------------------
>
> From: Devel <[email protected]> on behalf of tj5527
> <[email protected]>
> Sent: Thursday, 6 July 2017 6:43 AM
> To: [email protected]
> 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
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
