安装错误 Agda：无法识别的选项 `x'

编程问答 2022-05-15

问题描述

我正在尝试在 Windows 10 上安装 Agda，但出现以下错误：

C:\Program Files\Haskell\bin>cabal install Agda
Resolving dependencies...
Build profile: -w ghc-7.0.1 -O1
In order,the following will be built (use -v for more details):
 - Win32-2.3.0.0 (lib:Win32) (requires build)
 - haskell-src-exts-1.14.0.1 (lib:haskell-src-exts) (requires build)
 - vector-0.11.0.0 (lib) (requires build)
 - zlib-0.5.4.2 (lib) (requires build)
 - time-1.3 (lib:time) (requires build)
 - hashtables-1.2.1.1 (lib) (requires build)
 - directory-1.2.0.1 (lib:directory) (requires build)
 - cpphs-1.18.9 (exe:cpphs) (requires build)
 - Agda-2.4.2.2 (lib:Agda,exe:agda,exe:agda-mode) (requires build)
Starting     zlib-0.5.4.2 (lib)
Starting     vector-0.11.0.0 (lib)
Starting     Win32-2.3.0.0 (all,legacy fallback)
Starting     haskell-src-exts-1.14.0.1 (all,legacy fallback)
Building     vector-0.11.0.0 (lib)
Building     zlib-0.5.4.2 (lib)
Building     Win32-2.3.0.0 (all,legacy fallback)
Building     haskell-src-exts-1.14.0.1 (all,legacy fallback)

Failed to build Win32-2.3.0.0.
Build log (
C:\Users\nicod\AppData\Roaming\cabal\logs\ghc-7.0.1\Win32-2.3.0.0-bc0070ef9ddaa5b276f777956fac43c90ce6de13.log
):
Preprocessing library for Win32-2.3.0.0..
unrecognized option `-x'
Usage: hsc2hs.exe [OPTIONS] INPUT.hsc [...]

  -o FILE          --output=FILE          name of main output file
  -t FILE          --template=FILE        template file
  -c PROG          --cc=PROG              C compiler to use
  -l PROG          --ld=PROG              linker to use
  -C FLAG          --cflag=FLAG           flag to pass to the C compiler
  -I DIR                                  passed to the C compiler
  -L FLAG          --lflag=FLAG           flag to pass to the linker
  -i FILE          --include=FILE         as if placed in the source
  -D NAME[=VALUE]  --define=NAME[=VALUE]  as if placed in the source
                   --no-compile           stop after writing *_hsc_make.c
  -v               --verbose              dump commands to stderr
  -?               --help                 display this help and exit
  -V               --version              output version information and exit

Failed to build haskell-src-exts-1.14.0.1.
Build log (
C:\Users\nicod\AppData\Roaming\cabal\logs\ghc-7.0.1\haskell-src-e_-1.14.0.1-bb66f1bc440947654b6bec6b775e21dbc0b1d6a7.log
):
Building haskell-src-exts-1.14.0.1...
Preprocessing library haskell-src-exts-1.14.0.1...
[ 1 of 22] Compiling Language.Haskell.Exts.Annotated.Syntax ( src\Language\Haskell\Exts\Annotated\Syntax.hs,dist\build\Language\Haskell\Exts\Annotated\Syntax.o )

src\Language\Haskell\Exts\Annotated\Syntax.hs:122:39:
    Can't make a derived instance of `Foldable ModuleName':
      You need -XDeriveFunctor to derive an instance for this class
    In the data type declaration for `ModuleName'

src\Language\Haskell\Exts\Annotated\Syntax.hs:122:48:
    Can't make a derived instance of `Traversable ModuleName':
      You need -XDeriveFunctor to derive an instance for this class
    In the data type declaration for `ModuleName'

接下来是更多类似的错误消息。根据错误消息，问题是无法安装Win32，但我不知道是什么问题以及如何解决。有人可以帮忙吗？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）

agdacabalhaskellhaskellinstallationinstallation