无法确定操作系统

2024-01-07

When I go on terminal (i installed smlnj) and i type sml it gives me the error sml: unable to determine architecture/operating system. What does this mean??? I installed sml like this at this website http://www.cs.washington.edu/education/courses/cse341/11au/sml-emacs.html#install-smlnj, but I'm not sure -- are the instructions wrong?
enter image description here


最近的 OS X 二进制安装程序的问题仍然存在,只是焦点转移到了 OS X 的 10.9 Mavericks 和 10.10 Yosemite 版本。尽管根本原因已在最近的源代码版本中得到解决。

这就是为什么从现在开始解决这个问题只需要有一个新编译的二进制包。为此,您可能最好通过安装 smlnjhomebrew。您可以使用以下命令来完成此操作:

brew update
brew cask install smlnj

截至 2021 年,使用 cask 安装的命令为

brew install --cask smlnj

这将为您编译软件包,这样您就可以省去查看源代码和自己编译的麻烦。

为了清理您的系统并避免重复,您只需执行以下操作即可删除以前的安装:

sudo rm -rf /usr/local/smlnj*

对于星号:我有一个空的 smlnj 文件夹,里面有 110.76 和一个 smlnj-110.75 文件夹,我想我之前曾尝试安装两个不同的版本......

您可能需要删除您自己创建的任何软链接,这些软链接直接指向上一步中删除的 /usr/local/ 下的旧 smlnj 文件夹。

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

无法确定操作系统 的相关文章

  • SML 警告:使用空列表或 NONE 选项时,类型变量未通用化

    我一生都无法弄清楚为什么以下 SML 函数在我的作业问题中抛出警告 fun my func f ls case ls of gt raise MyException head rest gt case f head of SOME v gt
  • 1个案例多种模式

    在 SML 中 一个 case 语句中是否可以有多种模式 例如 我有 4 个算术运算符以字符串形式表示 我想打印 PLUS MINUS 其中是 or and MULT DIV 如果是 or TL DR 有什么地方可以简化以下内容以使用更少的
  • NJ 的 ML 中的嵌套本地声明

    大家好 我有这段代码 local helper f i j local fun NTimesF f n int if n 1 then fn x gt f x else fn x gt f NTimesF f n 1 x in if i l
  • 如何在 Mac 上安装 Standard ML 的工作版本?

    我使用的是 Mac OSX 10 7 5 但我似乎无法下载可用的 REPL 的标准 ML 编译器 这应该有这么难吗 我应该下载一个最好的 ML 吗 我尝试过 SML NJ 和 MLton 但没有成功 Mac 用户也可以使用 brew ins
  • 抑制标准 ML 中的“val it”输出

    我正在用标准 ML SML NJ 编写一个 脚本 根据我的喜好设置交互式环境 该脚本所做的最后一件事是打印一条消息 表明一切顺利 本质上 最后一行是这样的 print SML is ready n 当我运行脚本时 一切顺利 但 SML 解释
  • 这个函数签名在sml中是什么意思?

    我正在查看我的教授关于 SML 语言的一些注释 其中一个函数如下所示 fun max gt let fun lp curr curr lp curr a l if gt a curr then lp a l else lp curr l i
  • 如何在 SML/NJ 中进行按位与运算?

    我正在编写的程序需要它 重复平方来计算 x n 我似乎找不到它的语法 或者是否支持它 它们可在Word8 and Word结构 let open Word8 infix andb orb xorb notb lt lt gt gt gt g
  • 二变量多项式的霍纳规则

    霍纳规则用于简化在特定变量值下评估多项式的 过程 https rosettacode org wiki Horner 27s rule for polynomial evaluation Standard ML 我已经使用 SML 轻松地将
  • 为什么我无法在标准机器学习中比较实数?

    为什么不1 0 2 0工作 不是real平等类型 它给出了错误 Error operator and operand don t agree equality type required operator domain Z Z operan
  • 未解析的弹性记录(需要知道此上下文中所有字段的名称)

    我一直在尝试创建一个以元组列表作为参数的函数 但我不断收到错误 未解析的弹性记录 需要知道此上下文中所有字段的名称 我的代码是 fun convert d map 1 d map 2 d 这基本上是试图将一对列表转换为一对列表 我还尝试声明
  • SML 中的霍纳算法? [关闭]

    Closed 这个问题需要调试细节 help minimal reproducible example 目前不接受答案 我正在尝试实施霍纳算法 http en wikipedia org wiki Horner 27s algorithm
  • SMLNJ 在输出中展开#

    我有以下内容 val it DATAX hello DATAX world DATAX DATAX 有没有办法让 SMLNJ 解释器扩展 以便我可以看到确切的数据是什么 谢谢 好的 我找到了一个答案 http www cs cmu edu
  • 无法确定操作系统

    When I go on terminal i installed smlnj and i type sml it gives me the error sml unable to determine architecture operat
  • SML/NJ:如何使用哈希表?

    我真的很想在 SML 中创建一个哈希表 似乎 SML NJ 中已经有一个结构 问题是 我该如何使用它 我还没有完全理解如何在SML中使用结构 并且我读过的书中的一些非常基本的示例给了我错误 我什至不知道如何纠正 所以使用HashTable结
  • 输出在 REPL 中被 # 符号截断

    我编写了一个按预期工作的函数 但我不明白为什么输出是这样的 功能 datatype prop Atom of string Not of prop And of prop prop Or of prop prop XOR A And Not
  • SML 中的柯里化匿名函数

    我有下面的功能并且它有效 fn x gt x 2 2 但这不起作用 fn x y gt x y 2 3 谁能告诉我为什么 或者给我一些提示让它发挥作用 fn x gt fn y gt x y 2 3 works fn只是没有相同的语法糖来定
  • 将其参数应用于自身的函数?

    考虑以下 SML 函数 fn x gt x x 这会产生以下错误 新泽西州标准 ML v110 72 stdIn 1 9 1 12 Error operator is not a function circularity operator
  • 将命令行参数传递给 SML 脚本

    如何将命令行参数传递给 SML 脚本 我知道有一个CommandLine arguments 正确类型的函数 unit gt string list 但像这样调用解释器 sml script name sml an argument ano
  • 如何使用相对于导入器的路径从 SML 中的另一个文件导入?

    我正在使用 SML NJ 并且我需要使用某个文件中的一组函数f1 sml在另一个文件中f2 sml 然而我并没有跑步f2 sml相反 我直接从其他地方导入它 如果我使用use命令输入f2 sml与路径f1 sml关系到f2 sml观点 当我
  • 如何自定义 SML/NJ 交互循环?

    我是标准 ML 的新手 我正在尝试了解 SML NJ 运行时环境 我想根据我的需要调整它 具体来说 我想 默认使用 IntInf 防止它将字符串和 IntInf 截断为 70 个字符 以下是我在 8 个多小时的阅读文档和实验中发现的内容 我

随机推荐

  • Java Swing 内部框架作为对话框 [关闭]

    很难说出这里问的是什么 这个问题是含糊的 模糊的 不完整的 过于宽泛的或修辞性的 无法以目前的形式得到合理的回答 如需帮助澄清此问题以便重新打开 访问帮助中心 help reopen questions 我在 netbeans 中创建了一个
  • 如何使用 RXJS 5.5.2 更新更好地捕获/执行/清空

    正如 ionic Angular 3 9 0 发行说明中所述 https github com ionic team ionic blob master CHANGELOG md https github com ionic team io
  • 我可以将名为“keys”的键添加到哈希表而不覆盖“keys”成员吗

    看来我无法将任意键名添加到hashtable如果具有该名称的成员已经存在 则不会覆盖该成员 我创建一个哈希表 x 并添加两个键 one and two x x one 1 x two 2 然后通过评估显示添加的键 x Keys x Keys
  • 使用 Yup 和 Typescript 的动态验证消息

    我正在尝试使用 Yup 创建一些自定义错误消息 以确定用户的电子邮件地址是否正在使用 我创建了以下承诺来尝试捕获服务器通信错误 test name Email Check test value gt if value includes re
  • “兄弟姐妹来电”是什么意思?

    在海湾合作委员会手册上 优化兄弟呼叫 优化同级和尾递归调用 例如 我知道尾递归调用 int sum int n 返回 n 1 1 n 总和 n 1 然而 兄弟姐妹的称呼是什么意思呢 尾部调用 如果函数调用是另一个函数中执行的最后一个操作 则
  • 按下按键时发出不需要的蜂鸣声

    我有一个接受按键输入的自定义视图 它位于NSScrollView 我已经设置了acceptsFirstResponder为 yes 并且它正在成功接受 keyDown 但每次我敲击一个键时 我都会听到一声蜂鸣声 我确信还需要其他东西 但不记
  • 如何在 Xcode 应用程序组内排列文件?

    在 X 代码中 我添加了 3 个名为 Classes COCOS2d Images 在图像下 我添加了 40 个文件 但 IMAGEs 组下的所有图像均不按名称排序 我想对它们进行排序 但我没有找到任何选项 选择组树中图像组下的所有图像 然
  • 使用 Python 的 Azure 存储帐户 blob 流

    使用最新的 azure storage blob 12 4 0 python 库 我需要在 blob 上打开一个流 而不将其完全下载到内存中 我有 hdf5 文件存储在存储帐户中 使用 h5py 2 10 0 我需要提取一些信息 读取数据而
  • 雄辩的搜索/自定义属性上的位置

    我向模型添加了自定义属性 public function getTouchedAttribute 我想将其添加到查询中 hasMany gt where touched 但显然这不是表中的一列 实现这种行为的最优雅的方式是什么 一种选择 就
  • row_array()['key'] 在 PHP 5.3 中不起作用

    我是否正确 以下语法在 PHP 5 4 中有效 但在 PHP 5 3 中无效 users key class class gt row array name The row array function 是一个返回数组的 CodeIgnit
  • 如何从本地主机将 SQL 数据库导入 R?

    我刚刚使用 MAMP 创建了我的第一个 SQL 数据库 很简单 只是一个宠物列表 我想将它加载到 R 中 这是我写的 install packages dbConnect library dbConnect mypets dbConnect
  • 在同一个元素上并行执行多个 jQuery 效果

    我发现这个问题被问了很多次 但没有一个解决方案对我有用 我有两个想要并行执行的效果 我希望盒子同时淡入和弹跳 http jsfiddle net 6VVUG http jsfiddle net 6VVUG 链接 UI 效果并使用dequeu
  • sqflt8、sqlmoney 和其他本机 SQL 数据类型的二进制存储格式是什么?

    根据文档 可以使用以本机 SQL Server 数据格式格式化的 bcp 导入或导出本机 二进制 数据 例如 SQLFLT8 SQLFLT4 SQLMONEY 或 SQLNUMERIC 有谁知道各种类型的数据格式是什么 或者在哪里可以找到指
  • 基于第一个淘汰赛教程,为什么我的代码没有运行?

    我了解教程在页面上的工作原理 但我正在尝试在本地设置一个计算器来创建计算器 但无法让 knockout js 工作 它不像 Knockout js 在线教程那样初始化或填充 HTML
  • 使用pdfbox从pdf中删除不可见文本

    链接到 pdf https drive google com file d 1F8vrzcABwxVGdN5W 7etQggY5xKtGplU view 当我尝试从上面的 pdf 中提取文本时 我得到了在 evince 查看器中不可见的文本
  • QuickFix 发送时间(字段 52)减少毫秒

    我正在使用 Python API 运行 QuickFix 并使用 FIX4 2 连接到 TT FIX 适配器 我已成功登录并发送市场数据请求 回复都很好啊在我的消息日志 屏幕日志和文件日志 中 我收到一个 SendingTime 字段 52
  • 如何恢复 Clearcase 中签出的文件?

    假设有一个名为 myfile java 的文件 我检查了一下并且正在研究它 在检查之前 我丢失了硬盘 必须购买新硬盘 下次我想签出该文件时 它说我无法签出 它已经在已经消失的旧视图中签出 我必须提到我正在使用 重用开发流选项 选项 我可以做
  • 让 DOM IE 变得友好

    我怎样才能使这个脚本对IE友好 唯一对 IE 不友好的部分是变量scrolledtonum and heightofbody function getheight var myWidth 0 myHeight 0 if typeof win
  • 具有可见条件或任务依赖性的 VSTS 构建摘要选项卡

    我尝试将新的自定义选项卡添加到构建结果的摘要页面 但仅针对使用我的自定义构建任务进行的构建添加该选项卡 例如 任务 发布工件 仅当添加此任务时 摘要页面中才会添加 工件 选项卡 我希望我的任务和选项卡具有相同的行为 现在 我刚刚在 贡献 中
  • 无法确定操作系统

    When I go on terminal i installed smlnj and i type sml it gives me the error sml unable to determine architecture operat