ocaml 安装

安装opam

参考官网安装步骤即可，比如对于centos系统，以root用户执行如下指令

cd /etc/yum.repos.d/
wget http://download.opensuse.org/repositories/home:ocaml/CentOS_7/home:ocaml.repo
yum install opam

然后安装ocaml，使用系统包管理器安装

yum install ocaml

（当然，我是将/etc/yum.repos.d/home:ocaml.repo文件删除后再执行上一条指令，否则安装ocaml时总是出现download超时错误）

安装过程中，可能会出现某些库无法安装，那么可以使用如下命令

yum install opam ocaml gcc gcc-c++ m4 make ocamldoc sqlite-devel libcurl-devel fuse-devel zlib-devel ocaml-camlp5-devel

如果其中某些库系统中已经安装，则会自动跳过

安装好之后设置solver，搜索aspcud并下载

在 .opam/config 中 添加如下一行

solver: aspcud

在~/.bash_profile 中添加如下一行，即aspcud的路径

export OPAMEXTERNALSOLVER=$HOME/.aspcud/aspcud

安装core 和 utop

opam install core utop
时间： 2024-11-06 21:24:13

ocaml 安装的相关文章

Zabbix高可用，实现zabbix的无缝切换，无故障时间

作者:骚年有梦 联系方式:[email protected] zabbix高可用设计目标: 1.keepalived服务优先级选择切换机制:对于zabbix服务器来说,只要zabbix存活和mysql存活,就能够正常记录数据,不会丢失数据,php和nginx只是web页面的访问而已,所以我在这里定义mysql和zabbix为主要服务,php和nginx为次要服务,为了实现主要服务存在,次要服务挂了:次要服务器存在,主要服务器挂了,keepalived会优先选择主要服务存在的一方作为Master,

Thrift CentOS安装和使用

Thrift是Apache的一个开源的跨语言服务开发框架,它提供了一个代码生成引擎来构建服务,支持C++,Java,Python,PHP,Ruby,Erlang,Perl,Haskell,C#,Cocoa,JavaScript,Node.js,Smalltalk,OCaml,Delphi等多种编程语言. 一般来说,使用Thrift来开发应用程序,主要建立在两种场景下: 第一,在我们开发过程中,一个比较大的项目需要多个团队进行协作,而每个团队的成员在编程技术方面的技能可能不一定相同,为了实现这种跨

codeviz安装

1.     下载:http://www.skynet.ie/~mel/projects/codeviz/#download 结合Graphviz工具,使用CodeViz可以生成直观和漂亮的C/C++程序函数之间的调用关系图. 1.安装graphviz 在安装CodeViz之前,必须先安装它所依赖的工具dot,否则将无法完成./configure操作并提示以下错误信息: checking for dot...not found FATAL: The program dot was not in

pwntools安装使用方法

pwntools是一个CTF框架和漏洞利用开发库,用Python开发,由rapid设计,旨在让使用者简单快速的编写exploit. pwntools对Ubuntu 12.04和14.04的支持最好,但是绝大多数的功能也支持Debian, Arch, FreeBSD, OSX, 等等. 安装前确保安装了Binutils.Capstone.Python Development Headers等系统库 ----------------------- 本文将基于Kali Rolling 64位安装,Ub

Thrift 基础教程(一)安装篇

1.Thrift简介 Thrift是一款由Fackbook开发的可伸缩.跨语言的服务开发框架,该框架已经开源并且加入的Apache项目.Thrift主要功能是:通过自定义的Interface Definition Language(IDL),可以创建基于RPC的客户端和服务端的服务代码.服务代码的生成是通过Thrift内置的代码生成器来实现的.Thrift 的跨语言性体现在,它可以生成C++, Java, Python, PHP, Ruby, Erlang, Perl, Haskell, C#,

双向同步软件Unison的安装与配置

一.Unison简介Unison是Windows.Linux以及其他Unix平台下都可以使用的文件同步工具,它能使两个文件夹(本地或网络上的)保持内容的一致.Unison拥有与其它一些同步工具或文件系统的相同的特性,但也有自身的特点:1.跨平台使用:2.对内核和用户权限没有特别要求:3.Unison是双向的,它能自动处理两分拷贝中更新没有冲突的部分,有冲突的部分将会显示出来让用户选择更新策略:4.只要是能连通的两台主机,就可以运行unison,可以直接使用socket连接或安全的ssh连接方式,

Ocaml入门（3）

如果在centos环境下配置好了opam,安装好了ocaml, core, utop,接下来就可以开始学习ocaml了. 跟随<Real world Ocaml>的脚步来学吧.网上有html版. 先概览一下. 普通的数字计算 ocaml很在乎类型,浮点数和整数类型运算符不能混用. utop # 3 + 4;; - : int = 7 utop # 3.1 + 4.2;; Error: This expression has type float but an expression was ex

ocaml学习

ocaml与haskell一样,是functional programming的代表. 对于有一定编程经验的人来说,入手一种新语言,最有效的方式就是开发一些实用的utility,因此top-level肯定不能满足我们的需要. 对于ocaml来说,我们怎样才能生成一个命令行程序的PE文件呢? 先安装OPAM 参考:https://github.com/realworldocaml/book/wiki/Installation-Instructions $ add-apt-repository pp

Centos6安装配置Unison+Inotify双向同步

Unison简介           Unison是windows和unix平台下都可以使用的文件同步工具,它能使两个文件夹(本地或网络上的)保持内容的一致.unison拥有其它一些同步工具或文件系统的相同特性,但也有自己的特点:                1.跨平台使用:                2.对内核和用户权限没有特别要求:                3. unison是双向的,它能自动处理两分拷贝中更新没有冲突的部分,有冲突的部分将会显示出来让用户选择更新策略: