4

对于我的学士论文，我想写一些关于 LiquidHaskell 的文章并做一些实验。我已经安装了 Haskell/GHC 和 CVC4 作为 SMT Solver。现在我正在尝试在我的 Ubuntu-Laptop 上安装液体包，但遇到了问题：

如果我尝试该命令cabal install liquid-platform，我会得到以下输出：

Resolving dependencies...
Configuring liquid-platform-0.8.10.2...
Building liquid-platform-0.8.10.2...
Failed to install liquid-platform-0.8.10.2
Build log ( /home/alex/.cabal/logs/liquid-platform-0.8.10.2.log ):
cabal: Entering directory '/tmp/cabal-tmp-2235/liquid-platform-0.8.10.2'
Configuring liquid-platform-0.8.10.2...
cabal: No libraries, executables, tests, or benchmarks are enabled for package
liquid-platform-0.8.10.2.
cabal: Leaving directory '/tmp/cabal-tmp-2235/liquid-platform-0.8.10.2'
cabal: Error: some packages failed to install:
liquid-platform-0.8.10.2 failed during the building phase. The exception was:
ExitFailure 1

如果我走 git 路线

git clone --recursive https://github.com/ucsd-progsys/liquidhaskell.git
cd liquidhaskell
stack install liquid-platform

我收到此错误：

Downloading lts-16.8 build plan ...RedownloadFailed Request {
  host                 = "raw.githubusercontent.com"
  port                 = 443
  secure               = True
  requestHeaders       = []
  path                 = "/fpco/lts-haskell/master//lts-16.8.yaml"
  queryString          = ""
  method               = "GET"
  proxy                = Nothing
  rawBody              = False
  redirectCount        = 10
  responseTimeout      = ResponseTimeoutDefault
  requestVersion       = HTTP/1.1
}
 "/home/alex/.stack/build-plan/lts-16.8.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","5504:E1A3:27782:28EF3:605CC681"),("Accept-Ranges","bytes"),("Date","Thu, 25 Mar 
2021 17:21:05 GMT"),("Via","1.1 varnish"),("X-Served-By","cache-hhn4072-HHN"),("X-Cache","MISS"),("X-
Cache-Hits","0"),("X-Timer","S1616692865.098004,VS0,VE140"),("Vary","Authorization,Accept-Encoding"),
("Access-Control-Allow-Origin","*"),("X-Fastly-Request-ID","60a420e0a48fc7ec7d566c9841aba6591995f43d"),
("Expires","Thu, 25 Mar 2021 17:26:05 GMT"),("Source-Age","0")], responseBody = (), responseCookieJar = 
CJ {expose = []}, responseClose' = ResponseClose})

我将非常感谢您可以提供给我的所有帮助。

提前致谢， Noodlez

4

0 回答 0