smlpkg - Generic package manager for Standard ML libraries and programs

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

内容简介: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.


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

查看所有标签

猜你喜欢:

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

社交的本质:扎克伯格的商业秘密

社交的本质:扎克伯格的商业秘密

兰迪•扎克伯格 / 谢天 / 中信出版集团股份有限公司 / 2016-6-1 / CNY 45.00

从发表个人观点到找工作,从交朋友到找伴侣,社会化媒体的广泛应用、互联技术的高速发展已经改变了我们生活的各个领域。 Facebook早期成员之一,兰迪·扎克伯格阐述了社交的本质,并首次披露Facebook的商业策略。她以社交媒体实践者的视角,分享了自己在Facebook负责营销的从业经历与成长故事,以及对互联网和社会未来变化趋势的思考,并给组织和个人提出了解决方案。一起来看看 《社交的本质:扎克伯格的商业秘密》 这本书的介绍吧!

CSS 压缩/解压工具
CSS 压缩/解压工具

在线压缩/解压 CSS 代码

JSON 在线解析
JSON 在线解析

在线 JSON 格式化工具

Markdown 在线编辑器
Markdown 在线编辑器

Markdown 在线编辑器