質問するログイン新規登録

Q&A

0回答

745閲覧

SML/NJ の起動エラー: Exec format error

ruei

総合スコア284

bash

bash(Bourne-again-Shell)は sh(Bourne Shell)のインプリメンテーションに様々な機能が追加されたシェルです。LinuxやMac OS XではBashはデフォルトで導入されています。

Bash on Ubuntu on Windows

Bash on Ubuntu on Windowsは、Windows Subsystem for Linux(WSL)の非推奨の名称。Windows10およびWindows Server上でLinuxのバイナリ実行ファイルをネイティブ実行するための互換レイヤーです。

Linux

Linuxは、Unixをベースにして開発されたオペレーティングシステムです。日本では「リナックス」と呼ばれています。 主にWebサーバやDNSサーバ、イントラネットなどのサーバ用OSとして利用されています。 上位500のスーパーコンピュータの90%以上はLinuxを使用しています。 携帯端末用のプラットフォームAndroidは、Linuxカーネル上に構築されています。

Ubuntu

Ubuntuは、Debian GNU/Linuxを基盤としたフリーのオペレーティングシステムです。

SML

SML(Standard ML) は関数型言語であるMLの標準規格です。 Standard ML で書かれたプログラムの大部分は、値を計算すべき式で構成されています。

0グッド

0クリップ

投稿2020/11/09 09:21

編集2020/11/09 09:22

0

0

WSL の Ubuntu 20.04 LTS 上で SML/NJ の起動エラーが起きます。
まず下のようにして smlnj をインストールしました。(参考

Bash

1sudo apt-get install smlnj 2[sudo] user のパスワード: 3パッケージリストを読み込んでいます... 完了 4依存関係ツリーを作成しています 5状態情報を読み取っています... 完了 6以下の追加パッケージがインストールされます: 7 libsmlnj-smlnj smlnj-runtime 8提案パッケージ: 9 smlnj-doc 10以下のパッケージが新たにインストールされます: 11 libsmlnj-smlnj smlnj smlnj-runtime 12アップグレード: 0 個、新規インストール: 3 個、削除: 0 個、保留: 0 個。 136,398 kB のアーカイブを取得する必要があります。 14この操作後に追加で 28.0 MB のディスク容量が消費されます。 15続行しますか? [Y/n] y 16取得:1 http://archive.ubuntu.com/ubuntu focal/universe amd64 smlnj-runtime amd64 110.79-6 [129 kB] 17取得:2 http://archive.ubuntu.com/ubuntu focal/universe amd64 smlnj amd64 110.79-6 [5,788 kB] 18取得:3 http://archive.ubuntu.com/ubuntu focal/universe amd64 libsmlnj-smlnj amd64 110.79-6 [481 kB] 196,398 kB を 27秒 で取得しました (240 kB/s) 20以前に未選択のパッケージ smlnj-runtime を選択しています。 21(データベースを読み込んでいます ... 現在 225699 個のファイルとディレクトリがインストールされています。) 22.../smlnj-runtime_110.79-6_amd64.deb を展開する準備をしています ... 23smlnj-runtime (110.79-6) を展開しています... 24以前に未選択のパッケージ smlnj を選択しています。 25.../smlnj_110.79-6_amd64.deb を展開する準備をしています ... 26smlnj (110.79-6) を展開しています... 27以前に未選択のパッケージ libsmlnj-smlnj を選択しています。 28.../libsmlnj-smlnj_110.79-6_amd64.deb を展開する準備をしています ... 29libsmlnj-smlnj (110.79-6) を展開しています... 30smlnj-runtime (110.79-6) を設定しています ... 31smlnj (110.79-6) を設定しています ... 32libsmlnj-smlnj (110.79-6) を設定しています ... 33man-db (2.9.1-1) のトリガを処理しています ...

しかし、実行しようとすると下のようなエラーが出ます。

sml /usr/lib/smlnj/bin/sml: 238: exec: /usr/lib/smlnj/bin/.run/run.x86-linux: Exec format error

対処法の分かる方ご教示ください。

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

guest

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

まだ回答がついていません

会員登録して回答してみよう

アカウントをお持ちの方は

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.29%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問