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

Ok. I think I find what's the root cause. Instead of using Debian (my env is stretch/sid) haskell-stack package, (removing Debian's haskell-stack and) installing stack from Haskell's script fixes the problem. https://docs.haskellstack.org/en/stable/README/#how-to-install So steps are: 1. rm -r ~/.stack 2. rm -r projects/capdl/capDL-tool/.stack-world (I didn't have .stack in capDL-tool dir) 3. apt-get purge haskell-stack 4. curl -sSL https://get.haskellstack.org/ | sh (adding ~/.local/bin to .profile) Thanks for all your help!

...

...

...

...

...

"tj5527" == tj5527 writes: tj5527> With commands `stack upgrade` and tj5527> `stack upgrade --git` I still get Invalid package ID error tj5527> message or failing during `make`. The only differences I see between your log output and a successful one are that stack is using (for me) a version of GHC it has built for itself, rather than the one packaged by Ubuntu. I suggest you do rm -r ~/.stack rm -r projects/capdl/capDL-tool/.stack and then make clobber make This is what I see: [parse-capDL] building... make: Entering directory "/home/peterc/src/work/camkes-vm/projects/capdl/capDL-tool" stack setup Downloaded lts-7.10 build plan. Updating package index Hackage (mirrored at https://github.com/commercialhaskell Fetched package index. Populated index cache. Preparing to install GHC to an isolated location. This will not interfere with any system-level installation. ... Downloaded ghc-8.0.1. Installing GHC ... stack will use a sandboxed GHC it installed 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 [1 of 2] Compiling Main ( /home/peterc/.stack/setup-exe-src/setup-mPHDZzAJ.hs, /home/peterc/.stack/setup-exe-src/setup-mPHDZzAJ.o ) [2 of 2] Compiling StackSetupShim ( /home/peterc/.stack/setup-exe-src/setup-shim-mPHDZzAJ.hs, /home/peterc/.stack/setup-exe-src/setup-shim-mPHDZzAJ.o ) Linking /home/peterc/.stack/setup-exe-cache/x86_64-linux/tmp-Cabal-simple_mPHDZzAJ_1.24.0.0_ghc-8.0.1 ...

-------- 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 11, 2017 4:12 AM UTC Time: July 11, 2017 2:12 AM From: Peter.Chubb@data61.csiro.au To: tj5527@protonmail.com devel@sel4.systems old-locale-1.0.0.7: download random-1.1: download HUnit-1.3.1.2: download base-compat-0.9.1: download mtl-2.2.1: download network-2.6.3.1: download split-0.2.3.1: download text-1.2.2.1: download old-locale-1.0.0.7: configure old-locale-1.0.0.7: build random-1.1: configure split-0.2.3.1: configure random-1.1: build split-0.2.3.1: build mtl-2.2.1: configure old-locale-1.0.0.7: copy/register mtl-2.2.1: build HUnit-1.3.1.2: configure HUnit-1.3.1.2: build base-compat-0.9.1: configure base-compat-0.9.1: build split-0.2.3.1: copy/register network-2.6.3.1: configure old-time-1.1.0.3: download base-compat-0.9.1: copy/register mtl-2.2.1: copy/register HUnit-1.3.1.2: copy/register random-1.1: copy/register regex-base-0.93.2: download network-2.6.3.1: build text-1.2.2.1: configure text-1.2.2.1: build old-time-1.1.0.3: configure old-time-1.1.0.3: build regex-base-0.93.2: configure regex-base-0.93.2: build regex-base-0.93.2: copy/register network-2.6.3.1: copy/register regex-posix-0.95.2: download old-time-1.1.0.3: copy/register regex-posix-0.95.2: configure regex-posix-0.95.2: build hslogger-1.2.10: download hslogger-1.2.10: configure hslogger-1.2.10: build hslogger-1.2.10: copy/register regex-posix-0.95.2: copy/register regex-compat-0.95.1: download regex-compat-0.95.1: configure regex-compat-0.95.1: build regex-compat-0.95.1: copy/register text-1.2.2.1: copy/register parsec-3.1.11: download parsec-3.1.11: configure parsec-3.1.11: build parsec-3.1.11: copy/register MissingH-1.4.0.1: download MissingH-1.4.0.1: configure MissingH-1.4.0.1: build MissingH-1.4.0.1: copy/register Completed 15 action(s). make: Leaving directory "/home/peterc/src/work/camkes-vm/projects/capdl/capDL-tool" -- Dr Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group Data61 (formerly NICTA)