安装haskell平台时设备错误中没有空间

如何解决安装haskell平台时设备错误中没有空间

尝试使用

安装 Haskell patform
curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh

显示这种错误

欢迎使用 Haskell!

此脚本将下载并安装以下二进制文件:* ghcup - Haskell 工具链安装程序 (用于管理 GHC/cabal 版本)* ghc - Glasgow Haskell 编译器 * cabal - Cabal 构建工具

ghcup 只安装到以下目录,可以删除 随时:/home/welcome/.ghcup

按 ENTER 继续或按 ctrl-c 中止。注意这个脚本可以 在任何给定时间重新运行。

% Total % Received % Xferd 平均速度时间时间时间 当前的 Dload Upload Total Spent Left Speed 100 20.2M 100 20.2M 0 0 2302k 0 0:00:08 0:00:08 --:--:-- 2899k [信息] 正在升级 GHCup... [警告] 没有可用的 GHCup 更新

系统要求 注意:您需要以下软件包:curl g++ gcc gmp make ncurses realpath xz-utils。咨询您的发行版 有关这些包的确切名称的文档。

按 ENTER 继续或按 ctrl-c 中止。安装可能需要一个 同时。

[ 信息 ] 验证摘要:ghc-8.10.4-x86_64-fedora27-linux.tar.xz [信息] 解压:ghc-8.10.4-x86_64-fedora27-linux.tar.xz /tmp/ghcup-liKjHm

[ 信息 ] 安装 GHC(这可能需要一段时间)[ ghc-configure ] ./configure: line 44: printf: write error: No space left on device [ ghc-configure ] ./configure: line 45: echo: write error: No space left 在设备 [ghc-configure] 上排序:fflush 失败:'标准输出':否 设备上剩余空间 [ ghc-configure ] 排序:写入错误 [ ghc-configure ] ./configure: line 54: echo: write error: No space left 在设备上 [ ghc-configure ] ./configure: line 82: printf: write error: 设备上没有剩余空间 [错误] BuildFailed 在目录中失败 "/tmp/ghcup-liKjHm": NonZeroExit 77 "./configure" [“--prefix=/home/welcome/.ghcup/ghc/8.10.4”] 检查“/home/welcome/.ghcup/logs”和构建目录“/tmp/ghcup-liKjHm”中的日志以获取更多线索。 确保之后清理“/tmpI/ghcup-liKjHm”。 “_eghcup --cache install ghc 推荐”失败!

在 ghcup.log 中:

Debug:  Identified Platform as: PlatformResult {_platform = Linux UnkNownLinux,_distroVersion = Just (General (Version {_vEpoch = nothing,_vChunks = (Digits 4 :| []) :| [Digits 2 :| []],_vMeta = [],_vRel = []}))}
Debug:  Requested to install GHC with Version {_vEpoch = nothing,_vChunks = (Digits 8 :| []) :| [Digits 10 :| [],Digits 4 :| []],_vRel = []}
Info: verifying digest of: ghc-8.10.4-x86_64-fedora27-linux.tar.xz
Info: Unpacking: ghc-8.10.4-x86_64-fedora27-linux.tar.xz to /tmp/ghcup-liKjHm
Info: Installing GHC (this may take a while)
Error: BuildFailed Failed in dir "/tmp/ghcup-liKjHm": NonZeroExit 77 "./configure" ["--prefix=/home/welcome/.ghcup/ghc/8.10.4"]
    Check the logs at "/home/welcome/.ghcup/logs" and the build directory "/tmp/ghcup-liKjHm" for more clues.
    Make sure to clean up "/tmp/ghcup-liKjHm" afterwards.

在 ghc-configure.log 文件中:

cat: write error: No space left on device
cat: write error: No space left on device
./configure: line 1970: printf: write error: No space left on device
./configure: line 1970: printf: write error: No space left on device
./configure: line 1970: printf: write error: No space left on device
./configure: line 1970: printf: write error: No space left on device
./configure: line 1970: printf: write error: No space left on device
./configure: line 1970: printf: write error: No space left on device
./configure: line 1970: printf: write error: No space left on device
./configure: line 1970: printf: write error: No space left on device
./configure: line 1970: printf: write error: No space left on device
cat: write error: No space left on device
./configure: line 2134: printf: write error: No space left on device
cat: write error: No space left on device
cat: write error: No space left on device
cat: write error: No space left on device
cat: write error: No space left on device
cat: write error: No space left on device
cat: write error: No space left on device
./configure: line 2375: printf: write error: No space left on device
checking build system type... ./config.guess: line 112: echo: write error: No space left on device
cat: write error: No space left on device
./configure: line 2389: printf: write error: No space left on device
x86_64-pc-linux-gnu
./configure: line 2409: printf: write error: No space left on device
checking host system type... ./configure: line 2422: printf: write error: No space left on device
x86_64-pc-linux-gnu
./configure: line 2442: printf: write error: No space left on device
checking target system type... ./configure: line 2455: printf: write error: No space left on device
x86_64-pc-linux-gnu
Build platform inferred as: x86_64-unkNown-linux
Host platform inferred as: x86_64-unkNown-linux
Target platform inferred as: x86_64-unkNown-linux
GHC build  : x86_64-unkNown-linux
GHC host   : x86_64-unkNown-linux
GHC target : x86_64-unkNown-linux
LLVM target: x86_64-unkNown-linux
./configure: line 3356: printf: write error: No space left on device
checking for path to top of build tree... ./configure: line 3382: printf: write error: No space left on device
/tmp/ghcup-liKjHm/ghc-8.10.4
./configure: line 3416: printf: write error: No space left on device
checking for a BSD-compatible install... ./configure: line 3450: echo: write error: No space left on device
./configure: line 3451: echo: write error: No space left on device
./configure: line 3484: printf: write error: No space left on device
./install-sh -c
./configure: line 3502: printf: write error: No space left on device
checking for gfind... ./configure: line 3535: printf: write error: No space left on device
no
./configure: line 3502: printf: write error: No space left on device
checking for find... ./configure: line 3520: printf: write error: No space left on device
./configure: line 3532: printf: write error: No space left on device
/usr/bin/find
./configure: line 3544: echo: write error: No space left on device
./configure: line 3551: printf: write error: No space left on device
configure: WARNING: /usr/bin/find looks like a non-*nix find,ignoring it
./configure: line 3555: printf: write error: No space left on device
checking for find... ./configure: line 3602: printf: write error: No space left on device
no
./configure: line 3614: printf: write error: No space left on device
checking whether ln -s works... ./configure: line 3621: printf: write error: No space left on device
no,using cp -pR
./configure: line 3630: printf: write error: No space left on device
checking for gsed... ./configure: line 3661: printf: write error: No space left on device
sed
./configure: line 3673: printf: write error: No space left on device
checking for python3... ./configure: line 3691: printf: write error: No space left on device
./configure: line 3703: printf: write error: No space left on device
/usr/bin/python3
./configure: line 3795: printf: write error: No space left on device
checking for gcc... ./configure: line 3811: printf: write error: No space left on device
./configure: line 3822: printf: write error: No space left on device
gcc
./configure: line 3853: printf: write error: No space left on device
./configure: line 3863: printf: write error: No space left on device
./configure: line 3873: printf: write error: No space left on device
./configure: line 3863: printf: write error: No space left on device
./configure: line 3873: printf: write error: No space left on device
./configure: line 3863: printf: write error: No space left on device
./configure: line 3873: printf: write error: No space left on device
./configure: line 3863: printf: write error: No space left on device
./configure: line 3873: printf: write error: No space left on device
cat: write error: No space left on device
./configure: line 3893: printf: write error: No space left on device
checking whether the C compiler works... ./configure: line 3916: printf: write error: No space left on device
./configure: line 3919: printf: write error: No space left on device
./configure: line 3957: printf: write error: No space left on device
no
./configure: line 3959: printf: write error: No space left on device
./configure: line 3962: printf: write error: No space left on device
configure: error: in `/tmp/ghcup-liKjHm/ghc-8.10.4':
./configure: line 416: printf: write error: No space left on device
configure: error: C compiler cannot create executables
See `config.log' for more details
./configure: line 4: echo: write error: No space left on device
./configure: line 8: printf: write error: No space left on device
./configure: line 9: echo: write error: No space left on device
sort: fflush Failed: 'standard output': No space left on device
sort: write error
./configure: line 40: echo: write error: No space left on device
./configure: line 44: printf: write error: No space left on device
./configure: line 45: echo: write error: No space left on device
sort: fflush Failed: 'standard output': No space left on device
sort: write error
./configure: line 54: echo: write error: No space left on device
./configure: line 82: printf: write error: No space left on device

系统规格:

操作系统:solus

内存:4GB

存储空间:139.2/160GB 免费

解决方法

这是因为 /tmp 目录使用内存

更改家中某处的临时目录可以解决该问题

mkdir ~/tmpdir; export TMPDIR="$HOME/tmpdir"

安装前在终端上执行此命令。 安装后可以删除此目录,但请务必关闭终端

我在 #haskell IRC 频道中得到了这个答案。

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。

相关推荐


Selenium Web驱动程序和Java。元素在(x,y)点处不可单击。其他元素将获得点击?
Python-如何使用点“。” 访问字典成员?
Java 字符串是不可变的。到底是什么意思?
Java中的“ final”关键字如何工作?(我仍然可以修改对象。)
“loop:”在Java代码中。这是什么,为什么要编译?
java.lang.ClassNotFoundException:sun.jdbc.odbc.JdbcOdbcDriver发生异常。为什么?
这是用Java进行XML解析的最佳库。
Java的PriorityQueue的内置迭代器不会以任何特定顺序遍历数据结构。为什么?
如何在Java中聆听按键时移动图像。
Java“Program to an interface”。这是什么意思?
Java在半透明框架/面板/组件上重新绘画。
Java“ Class.forName()”和“ Class.forName()。newInstance()”之间有什么区别?
在此环境中不提供编译器。也许是在JRE而不是JDK上运行?
Java用相同的方法在一个类中实现两个接口。哪种接口方法被覆盖?
Java 什么是Runtime.getRuntime()。totalMemory()和freeMemory()?
java.library.path中的java.lang.UnsatisfiedLinkError否*****。dll
JavaFX“位置是必需的。” 即使在同一包装中
Java 导入两个具有相同名称的类。怎么处理?
Java 是否应该在HttpServletResponse.getOutputStream()/。getWriter()上调用.close()?
Java RegEx元字符(。)和普通点?