diff options
| -rw-r--r-- | core/deps.mk | 4 | ||||
| -rw-r--r-- | packages.v1.tsv | 1 | ||||
| -rw-r--r-- | packages.v1.txt | 1 | ||||
| -rw-r--r-- | packages.v2.tsv | 1 |
4 files changed, 7 insertions, 0 deletions
diff --git a/core/deps.mk b/core/deps.mk index 084d6b4..f44b9a3 100644 --- a/core/deps.mk +++ b/core/deps.mk @@ -133,6 +133,10 @@ define dep_autopatch_rebar.erl Write(io_lib:format("COMPILE_FIRST +=~s\n", [Names])) end end(), + case $(1) of + proper -> Write("\n# Proper hack.\napp::\n\t./write_compile_flags include/compile_flags.hrl\n"); + _ -> ok + end, Write("\ninclude ../../erlang.mk"), halt() endef diff --git a/packages.v1.tsv b/packages.v1.tsv index fa8805f..853dd06 100644 --- a/packages.v1.tsv +++ b/packages.v1.tsv @@ -89,6 +89,7 @@ openpoker https://github.com/hpyhacking/openpoker https://github.com/hpyhacking/ pegjs https://github.com/dmitriid/pegjs https://github.com/dmitriid/pegjs An implementation of PEG.js grammar for Erlang. pobox https://github.com/ferd/pobox https://github.com/ferd/pobox External buffer processes to protect against mailbox overflow in Erlang poolboy https://github.com/devinus/poolboy https://github.com/devinus/poolboy A hunky Erlang worker pool factory +proper https://github.com/manopapad/proper http://proper.softlab.ntua.gr PropEr: a QuickCheck-inspired property-based testing tool for Erlang. protobuffs https://github.com/basho/erlang_protobuffs https://github.com/basho/erlang_protobuffs An implementation of Google's Protocol Buffers for Erlang, based on ngerakines/erlang_protobuffs. ptrackerl https://github.com/inaka/ptrackerl https://github.com/inaka/ptrackerl Pivotal Tracker API Client written in Erlang push_service https://github.com/hairyhum/push_service https://github.com/hairyhum/push_service Push service diff --git a/packages.v1.txt b/packages.v1.txt index fa8805f..853dd06 100644 --- a/packages.v1.txt +++ b/packages.v1.txt @@ -89,6 +89,7 @@ openpoker https://github.com/hpyhacking/openpoker https://github.com/hpyhacking/ pegjs https://github.com/dmitriid/pegjs https://github.com/dmitriid/pegjs An implementation of PEG.js grammar for Erlang. pobox https://github.com/ferd/pobox https://github.com/ferd/pobox External buffer processes to protect against mailbox overflow in Erlang poolboy https://github.com/devinus/poolboy https://github.com/devinus/poolboy A hunky Erlang worker pool factory +proper https://github.com/manopapad/proper http://proper.softlab.ntua.gr PropEr: a QuickCheck-inspired property-based testing tool for Erlang. protobuffs https://github.com/basho/erlang_protobuffs https://github.com/basho/erlang_protobuffs An implementation of Google's Protocol Buffers for Erlang, based on ngerakines/erlang_protobuffs. ptrackerl https://github.com/inaka/ptrackerl https://github.com/inaka/ptrackerl Pivotal Tracker API Client written in Erlang push_service https://github.com/hairyhum/push_service https://github.com/hairyhum/push_service Push service diff --git a/packages.v2.tsv b/packages.v2.tsv index c31dd3b..87ced2f 100644 --- a/packages.v2.tsv +++ b/packages.v2.tsv @@ -89,6 +89,7 @@ openpoker git https://github.com/hpyhacking/openpoker master https://github.com/ pegjs git https://github.com/dmitriid/pegjs 0.3 https://github.com/dmitriid/pegjs An implementation of PEG.js grammar for Erlang. pobox git https://github.com/ferd/pobox master https://github.com/ferd/pobox External buffer processes to protect against mailbox overflow in Erlang poolboy git https://github.com/devinus/poolboy master https://github.com/devinus/poolboy A hunky Erlang worker pool factory +proper git https://github.com/manopapad/proper master http://proper.softlab.ntua.gr PropEr: a QuickCheck-inspired property-based testing tool for Erlang. protobuffs git https://github.com/basho/erlang_protobuffs master https://github.com/basho/erlang_protobuffs An implementation of Google's Protocol Buffers for Erlang, based on ngerakines/erlang_protobuffs. ptrackerl git https://github.com/inaka/ptrackerl master https://github.com/inaka/ptrackerl Pivotal Tracker API Client written in Erlang push_service git https://github.com/hairyhum/push_service master https://github.com/hairyhum/push_service Push service |