安装ocaml

安装opam
bash -c "sh <(curl -fsSL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)"
安装沙盒
yum install epel-release
yum install bubblewrap
yum install ocaml-camlp4-devel
yum install pcre-devel安装完成之后初始化
opam init
eval $(opam env)安装平台环境
bash < <(curl -sL https://ocaml.org/install-platform.sh)
ocaml-platformopam switch create 4.14.0
eval $(opam env)
ocaml -versionocaml-lsp-server 需要gcc 9
opam install ocaml-lsp-server ocamlformat

安装vscode

rpm --import https://packages.microsoft.com/keys/microsoft.ascsh -c 'echo -e "[code]\nname=Visual Studio Code\nbaseurl=https://packages.microsoft.com/yumrepos/vscode\nenabled=1\ngpgcheck=1\ngpgkey=https://packages.microsoft.com/keys/microsoft.asc" > /etc/yum.repos.d/vscode.repo'yum check-update
sudo yum install coderoot 用户下打开VSCODE的正确方式：vim ~/.bashrc
alias code='/usr/share/code/code . --no-sandbox --unity-launch'

其他学习资料，安装教程：
https://www.cnblogs.com/gyhang/p/4767138.html

https://www.wenjiangs.com/doc/jr83nulv

centos7安装ocaml相关推荐

Centos7安装kvm服务器
Centos7安装kvm服务器什么是kvm virt-manager及相关软件简介 virt-manger架构及原理 KVM QEMU Libvirt 检查硬件是否支持kvm虚拟化启用嵌套虚拟化( ...
centos7 nginx配置php7,centos7安装并配置nginx+php，centos7nginx
centos7安装并配置nginx+php,centos7nginx centos7安装并配置nginx+php 安装nginx yum install nginx 设置nginx开启起动 syste ...
centos7安装配置pgAgent
centos7安装pgagent: 默认cmake已经安装编译wxGTK https://excellmedia.dl.sourceforge.net/project/wxwindows/2.8.7 ...
centos7 安装mysql php_Centos7安装mysql与php的方法
本文主要和大家分享Centos7安装mysql与php的方法,希望能帮助到大家. 相关mysql视频教程推荐:<mysql教程> 官网下载安装mysql-server 依次使用下面三个命令 ...
Centos7安装Apache和PHP，包含配置过程
本文主要讲的是本人在迁移php网站相关软件的安装和配置过程,以及一下问题的解决步骤.通过阅读本文能够知道如何迁移php网站,如何配置httpd服务使得它能够解析php文件以及如何解决迁移过程中的异常问 ...
LINUX CentOS7安装字体库
LINUX CentOS7安装字体库 2017年12月26日 17:06:07 q260996583 阅读数:4866更多个人分类: linux JAVA画图时常用到Font 类对象这样的对象依赖 ...
centos7安装mysql缺失依赖_CentOS7安装mysql5.7不成功，解决依赖包之后还是无法安装成功...
[root@xg79 ~]# yum -y installmysql-community-server ............. Error: Package:mysql-community-ser ...
linux tomcat7怎么安装,centos7安装Tomcat7，
centos7安装Tomcat7, 一.环境 centos7 linux apache-tomcat-7.0.92.tar.gz:链接:https://pan.baidu.com/s/1-clhIjD ...
CentOS7安装CDH 第三章：CDH中的问题和解决方法
CentOS7安装CDH 第三章:CDH中的问题和解决方法参考文章: (1)CentOS7安装CDH 第三章:CDH中的问题和解决方法 (2)https://www.cnblogs.com/yang ...

centos7安装ocaml

centos7安装ocaml

安装ocaml

安装vscode

centos7安装ocaml相关推荐

最新文章

热门文章