smlpkg - Generic package manager for Standard ML libraries and programs

栏目: IT技术 · 发布时间: 4年前

内容简介:This program constitutes a generic package manager for Standard ML libraries and programs. The package manager assumes nothing and knows nothing about the Standard ML compilers used and is thus quite generic.The package manager is centered around the notio

smlpkg

This program constitutes a generic package manager for Standard ML libraries and programs. The package manager assumes nothing and knows nothing about the Standard ML compilers used and is thus quite generic.

The package manager is centered around the notion of semantic versioning and currently supports packages hosted on GitHub and GitLab .

The package manager takes care of downloading and upgrading dependent packages and works well with the use of MLB files supported by Standard ML compilers such as MLton , MLKit , and SMLtoJs .

Usage

Adding a package

$ smlpkg add github.com/diku-dk/sml-random

This modifies only sml.pkg .

Downloading required packages

$ smlpkg sync

This populates the lib directory based on the packages listed in sml.pkg .

Creating a new package

$ smlpkg init github.com/foo/bar

Put all code in the directory lib/github.com/foo/bar/ .

Releasing a package

$ git tag vX.Y.Z
$ git push --tags

Remember to follow semantic versioning .

Probably incomplete list of available packages

Design details

See this blog post on the design of the Futhark package manager .

Compilation

To compile the package manager, you need a Standard ML compiler such as MLton or MLKit .

Compilation using MLKit on macOS

$ brew install mlkit
$ make all

Compilation using MLton

$ MLCOMP=mlton make clean all

License

This software is distributed under the MIT LICENSE .

The package manager is almost a complete port of the Futhark package manager, designed, and implemented in Haskell by Troels Henriksen.


以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持 码农网

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

淘宝技术这十年

淘宝技术这十年

子柳 / 电子工业出版社 / 2013-5 / 45.00元

《淘宝技术这十年》内容简介:任何网站的发展都不是一蹴而就的。它在发展过程中会遇到各种各样的问题和业务带来的压力。正是这些问题和压力推动着技术的进步和发展,而技术的发展反过来又会促进业务的更大提升。如今淘宝网的流量排名已是全球前15名、国内前3名,其系统服务器也从一台发展到万台以上。 《淘宝技术这十年》从工程师的角度讲述淘宝这个超大规模互联网系统的成长历程,及其所有主动和被动的技术变革的前因后......一起来看看 《淘宝技术这十年》 这本书的介绍吧!

JSON 在线解析
JSON 在线解析

在线 JSON 格式化工具

RGB CMYK 转换工具
RGB CMYK 转换工具

RGB CMYK 互转工具

HEX HSV 转换工具
HEX HSV 转换工具

HEX HSV 互换工具