[erlang-questions] A PropEr announcement

Torben Hoffmann torben.lehoff@REDACTED
Wed Jun 15 09:52:33 CEST 2011

I am afraid that the GPLv3 is contaminating in this case - I have spent some
time reading the license and how to interpret it and I also asked around, so
I do not think you can ship PropEr test code with your product without
becoming GPLv3. At least I personally would not run that risk.

Note that if you are using PropEr internally and you are not shipping the
test source or beams you are free to use PropEr to test your code. But if
you ship then your code becomes GPLv3 (as I read the thing).

However, as Eric mentioned earlier, the PropEr team is looking into adding a
FOSS License Exception and now that the big v1.0 is behind them they
hopefully get the time need to investigate this and see if it is possible to

The PropEr team has been very approachable about this issue so I think we
should just wait for them to find the time it takes to get this done right.

With a FOSS License Exception there will be no issues and it will open the
doors for PropEr to prosper for Open Source Erlang projects.

If you want to work with PropEr and receive some guidance from a
semi-veteran (me) you can join us on the Erlware team where we are working
on property based tests for the erlware-commons and gradually adding them
where it makes sense.


2011/6/15 Frédéric Trottier-Hébert <fred.hebert@REDACTED>

> I'm wondering about this myself. If I only provide the tests (including the
> -include_lib line) but not the PropEr code
> itself, is it breaking the license? Technically, none of the PropEr code is
> running in there, only its API.
> --
> Fred Hébert
> http://www.erlang-solutions.com
> On 2011-06-14, at 10:13 AM, James Churchman wrote:
> > Also is it really the case that the tests could not be distributed, or
> more a case that it is totally fine to distribute the tests along as the
> person receiving the tests downloads proper themselves? the code that is not
> tests would still run fine.
> >
> > Regards
> >
> > James
> >
> >
> > also +1 to try to convince Kostis to release PropEr with a better
> license!
> _______________________________________________
> erlang-questions mailing list
> erlang-questions@REDACTED
> http://erlang.org/mailman/listinfo/erlang-questions

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://erlang.org/pipermail/erlang-questions/attachments/20110615/f51ffa61/attachment.htm>

More information about the erlang-questions mailing list