Stream: math-comp users

Topic: Makefile license

view this post on Zulip Mireia González Bedmar (Jun 15 2022 at 14:04):

My team would like to copy and modify the mathcomp Makefiles for our repository: https://gitlab.com/formalv/formalv

Can we do that? If so, what measures should we take? What license protects the Makefile?

view this post on Zulip Karl Palmskog (Jun 15 2022 at 14:10):

as far as I know, all code in the MathComp repo is under CECILL-B: https://github.com/math-comp/math-comp/blob/master/CeCILL-B

view this post on Zulip Mireia González Bedmar (Jun 15 2022 at 14:37):

We had doubts since the Makefiles don't have copyright notices, but that makes sense. Thank you!

Last updated: Apr 16 2024 at 21:01 UTC