From 857f595ed5293a9dae42ef64062461ee35547663 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Sun, 28 Jun 2015 23:08:01 +0200 Subject: Bundle the package index directly inside erlang.mk If you were using the index file as a "lock file", bear with me for a moment, equivalent functionality will soon be added. :-) --- index/mcerlang.mk | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 index/mcerlang.mk (limited to 'index/mcerlang.mk') diff --git a/index/mcerlang.mk b/index/mcerlang.mk new file mode 100644 index 0000000..195767a --- /dev/null +++ b/index/mcerlang.mk @@ -0,0 +1,7 @@ +PACKAGES += mcerlang +pkg_mcerlang_name = mcerlang +pkg_mcerlang_description = The McErlang model checker for Erlang +pkg_mcerlang_homepage = https://github.com/fredlund/McErlang +pkg_mcerlang_fetch = git +pkg_mcerlang_repo = https://github.com/fredlund/McErlang +pkg_mcerlang_commit = master -- cgit v1.2.3