wsl中配置SML环境

配置SML/NJ

#安装
sudo apt install smlnj

#但是wsl不支持32位程序,所以需要下面配置
sudo dpkg --add-architecture i386
sudo apt update
sudo apt install -y libc6:i386 libncurses5:i386 libstdc++6:i386 zlib1g:i386 zlib1g-dev:i386
# for wsl
sudo apt install qemu-user-static
sudo update-binfmts --install i386 /usr/bin/qemu-i386-static --magic '\x7fELF\x01\x01\x01\x03\x00\x00\x00\x00\x00\x00\x00\x00\x03\x00\x03\x00\x01\x00\x00\x00' --mask '\xff\xff\xff\xff\xff\xff\xff\xfc\xff\xff\xff\xff\xff\xff\xff\xff\xf8\xff\xff\xff\xff\xff\xff\xff'
sudo service binfmt-support start

#添加readline功能
#GNU Readline is a software library that provides line-editing and history capabilities for interactive programs with a command-line interface, such as Bash.
sudo apt-get install rlwrap          #安装
#添加别名到~/.bashrc 中
alias mosml='rlwrap mosml -P full'
alias sml='rlwrap sml'
alias poly='rlwrap poly'

. ~/.bashrc    #启动新的配置
#但是运行sml时发现某些指令会内存越界,觉得可能兼容的问题没有完全解决。后来在虚拟机安装smljn,一下就好了。

#smlnj想要运行sml文件可以使用如下语句
use "a.sml";

wsl安装mlkit

# 操作步骤见 : https://github.com/melsman/mlkit
# mlkit是sml吧编译器,可以将sml文件编译为对应的可执行文件
$ mlkit helloworld.sml

你可能感兴趣的:(wsl中配置SML环境)