corlewis
commented
1 year ago Could you please say what the output of stack --version is in your system? While I unfortunately do not find this to be a particularly useful error message, my first guess is that it could be caused by a too old version of stack.
I'm not certain about what would be the oldest version that is sufficient to build CapDL-tool, but 2.7.5 or newer should be safe. If you do have an old version, then you can upgrade it with stack upgrade.
jingjin666
../init-build.sh -DCAMKES_VM_APP=vm_minimal -DPLATFORM=qemu-arm-virt logs: [304/385] Generating capDL-tool/parse-capDL FAILED: capDL-tool/parse-capDL /home/luffy/workspace/github/sel4-vm-example/build/capDL-tool/parse-capDL cd /home/luffy/workspace/github/sel4-vm-example/build/capDL-tool && printf capDL-tool/parse-capDL:\ > /home/luffy/workspace/github/sel4-vm-example/build/capDL-tool/parse-capDL.d && find -L /home/luffy/workspace/github/sel4-vm-example/projects/capdl/capDL-tool/ -type f -printf %p\ >> /home/luffy/workspace/github/sel4-vm-example/build/capDL-tool/parse-capDL.d && cp -a /home/luffy/workspace/github/sel4-vm-example/projects/capdl/capDL-tool/ . && /home/luffy/workspace/tools/cmake-3.24.0-rc3-linux-x86_64/bin/cmake -E env make && mkdir -p /home/luffy/workspace/github/sel4-vm-example/.sel4_cache/capDL-tool/04d18331a3ec4f4b408937b7b72886aa && tar -zcf code.tar.gz -C /home/luffy/workspace/github/sel4-vm-example/build/capDL-tool/ parse-capDL && mv code.tar.gz /home/luffy/workspace/github/sel4-vm-example/.sel4_cache/capDL-tool/04d18331a3ec4f4b408937b7b72886aa/ stack build --fast Downloading lts-19.12 build plan ... RedownloadFailed Request { host = "raw.githubusercontent.com" port = 443 secure = True requestHeaders = [] path = "/fpco/lts-haskell/master//lts-19.12.yaml" queryString = "" method = "GET" proxy = Nothing rawBody = False redirectCount = 10 responseTimeout = ResponseTimeoutDefault requestVersion = HTTP/1.1 } "/home/luffy/.stack/build-plan/lts-19.12.yaml" (Response {responseStatus = Status {statusCode = 404, statusMessage = "Not Found"}, responseVersion = HTTP/1.1, responseHeaders = [("Connection","keep-alive"),("Content-Length","14"),("Content-Security-Policy","default-src 'none'; style-src 'unsafe-inline'; sandbox"),("Strict-Transport-Security","max-age=31536000"),("X-Content-Type-Options","nosniff"),("X-Frame-Options","deny"),("X-XSS-Protection","1; mode=block"),("Content-Type","text/plain; charset=utf-8"),("X-GitHub-Request-Id","FF6A:572A:28389:32C8B:638FF70A"),("Accept-Ranges","bytes"),("Date","Wed, 07 Dec 2022 02:14:34 GMT"),("Via","1.1 varnish"),("X-Served-By","cache-tyo11937-TYO"),("X-Cache","MISS"),("X-Cache-Hits","0"),("X-Timer","S1670379275.513819,VS0,VE236"),("Vary","Authorization,Accept-Encoding,Origin"),("Access-Control-Allow-Origin",""),("X-Fastly-Request-ID","0c35d2a057b850289454425d205f8e919dbf0b12"),("Expires","Wed, 07 Dec 2022 02:19:34 GMT"),("Source-Age","0")], responseBody = (), responseCookieJar = CJ {expose = []}, responseClose' = ResponseClose}) Makefile:51: recipe for target 'parse-capDL' failed make: *** [parse-capDL] Error 1 [306/385] Performing CAmkES generation for 20 files ninja: build stopped: subcommand failed.