OCaml 安装以及简单的加减乘除Demo（以Ubuntu16.04为例）
安装nix
参考 https://mirrors.tuna.tsinghua.edu.cn/help/nix/
安装nix
$ sh <(curl https://mirrors.tuna.tsinghua.edu.cn/nix/latest/install)
安装成功后的截图：
安装完成后遇到的问题
以清华镜像站的教程，安装完成之后应该会有对应的配置文件，如下：
但是个人在Ubuntu内没有找到对应的配置文件，不过问题也不大，毕竟这只是将清华源备用源，直接跳过该步骤做下一步也行（但建议挂个梯子）
个人的etc与config文件如下所示：
etc：
.config:
运行nix-env安装软件
完成后查看具体版本
安装完成后，可运行一下命令查看具体的版本
nix-env -q
Demo下载地址：
https://github.com/TOHKAaaaa/Calc-Demo
下载后使用
unzip xxx.zip进行解压（xxx指压缩包名称）
解压完成后，进入OCaml文件夹，具体内容如下（下图中包括了编译后的文件，其中cmo、cmi为编译后的）：
通过以下命令编译对应的代码
ocamllex scanner.mll # create scanner.ml
ocamlyacc parser.mly # create parser.ml and parser.mli
ocamlc -c ast.ml # compile AST types
ocamlc -c parser.mli # compile parser types
ocamlc -c scanner.ml # compile the scanner
ocamlc -c parser.ml # compile the parser
ocamlc -c calc.ml # compile the interpreter
ocamlc -o calc parser.cmo scanner.cmo calc.cmo完成后即可通过
./calc运行该Demo（输入完内容之后，按Ctrl+D退出）
运行结果：
OCaml 安装以及简单的加减乘除Demo（以Ubuntu16.04为例）相关推荐
- mmdetection 使用笔记 01： 安装与简单的推理demo
mmdetection 使用笔记 01: 安装与简单的推理demo mmdetection是来自商汤和港中文联合实验室openmmlab推出的目标检测工具包,与其同系列的还有基础视觉包mmcv,图像分 ...
- 基于node-fontnik部署安装otf转pbf字体（基于ubuntu16.04）
基于node-fontnik部署安装otf转pbf字体(基于ubuntu16.04) 谷歌开源字体下载:http://www.googlefonts.net/ node-fontnik 是mapbox ...
- 【离线安装系列】离线环境下为Ubuntu16.04安装fzf（How to install fzf from source offline）
准备 Ubuntu16.04安装机 任意公网机下载安装包 安装步骤 下载并安装源文件 下载链接: 官方Github 本地安装: $ unzip fzf-master.zip $ mv fzf-mast ...
- NDK JNI 安装与配置（一）（UBUNTU16.04 ）
1.下载Android NDK自解压包, 官方地址: https://developer.android.com/ndk/downloads/index.html#download 下载: $ wge ...
- dell电脑如何安装ubuntu系统_Dell Win10系统安装成Ubuntu16.04
1. 制作U盘启动盘 1)linux官网下载ubuntu iso桌面版镜像经验: - 可以直接下载.iso文件(1.5 G),但下载速度较慢,且容易中断. - 下载种子.torrent文件,通过迅雷 ...
- Ubuntu16.04+Cuda8.0+Caffe+ Opencv3.2+Matlab2015b的配置、安装与编译（四）
四.安装编译MATLAB [参考文献] [1]. Ubuntu16.04下 Matlab2015b安装与激活及注意事项★★★★★ [2]. ubuntu16.04+caffe+matcaffe安装笔记 ...
- 玩玩机器学习1——ubuntu16.04 64位安装TensorFlow GPU+python3+cuda8.0+cudnn8.0
如今的机器学习运算大多数都是利用gpu进行,包括很大大型游戏,比特币的开采,都离不开GPU的运算,GPU已成为大型运算能力的主要硬件. 大名鼎鼎的机器学习开源框架,如TensorFlow和Caffe, ...
- matlab安装好 启动总是闪退_在Ubuntu16.04下安装MATLAB2017b
1. 前言 最近在折腾Ubuntu系统的高端机子,matlab这家伙的交互和可视化太方便了!于是想在Linux下安装matlab,在各个版本中,matlab2017的性价比是非常高的,因此选择安装介个 ...
- 启动转换安装失败 拷贝windows安装文件时出错_在Ubuntu16.04下安装MATLAB2017b
1. 前言 最近在折腾Ubuntu系统的高端机子,matlab这家伙的交互和可视化太方便了!于是想在Linux下安装matlab,在各个版本中,matlab2017的性价比是非常高的,因此选择安装介个 ...
最新文章
- nginx源码安装教程（CentOS）
- linux中配置jmeter环境变量,linux java 和jmeter 环境变量配置文件笔记（原）
- spark 历史版本下载地址
- Vue项目启动webpack报错Module build failed: Error: No PostCSS Config found in......
- CF196E Opening Portals
- 右军：为张逸《解构领域驱动设计》推荐序
- 用python画图代码意思_Python科学画图代码分享
- 微信小程序插件内页面跳转和参数传递
- python一个函数可以有参数也可以没有参数_Python：有和没有关键字参数的lambda函数行为？...
- “长按地址在浏览器中打开”的解决办法
- 常见的oracle面试题及答案,Oracle精选面试题(附答案及分析)
- 使用Strophe连接xmpp，轻松构建web即时聊天工具
- HDFS的shell命令
- 苹果屏蔽更新描述文件_iOS屏蔽更新描述文件以及超级详细安装方法分享
- 使用阿里云ECS搭建Nextcloud私有云服务器
- vb与c语言数组传递,VB几种函数参数传递方法，Variant，数组，Optional，ParamArray
- 盘古石杯电子取证比赛WP
- 华东师范大学计算机考研专业,2017年华东师范大学计算机科学与软件工程学院考研专业目录...
- html打开方式解锁,解锁bootloader
- 提升树（Boosting tree）算法总结