Set proper to the official 1.4 release

[alfert]

No description provided.

[alfert]

@evnu Any ideas why this fails? It does so also locally on my machine. But I was too long away from Elixir to have a good intuition here.

[evnu]

@alfert I think I saw that error with proper some time ago. Currently on mobile, but this might give a hint: https://github.com/proper-testing/proper/blob/a5ae5669f01143b0828fc21667d4f5e344aa760b/src/proper_gen.erl#L361 was there a version bump in proper that we need?

[evnu]

@alfert I thought we fixed the eunit error with this: #224

[evnu]

@alfert ok, so the current proper release on hex.pm is just too old. That's why we used a git revision.

[alfert]

This is bad, since we cannot create a proper hex release with dependency on a git hash :-(

[evnu]

@alfert so time to ask for a PropEr release then I guess 🙈

[evnu]

Seems that there is no new release coming for PropEr any time soon. :-/

[alfert]

Yes, feels like Kostis has abandoned PropEr for some time. One way forward could be introducing a fork of PropEr with minor updates (i.e. no new features except for maintenance / upgradability of the Erlang platform). Not sure about it.

[evnu]

Forking would mean to release PropEr to hex.pm, I think that's probably more work than we want to have for PropCheck :) Can we vendor-in PropEr and have that as part of this source tree?

[alfert]

As a git submodule?

[evnu]

If that's possible. This needs to work with mix release as well, I don't know if the Elixir tooling handles vendoring.