Wouter,

All this discussion on the "proper" license for your JAL libraries has
me thinking - why not ask an expert in the area?  There is the "Open
Source Initiative" people who specifically are set up to promot open
source software.  Their website is:
    http://opensource.org/

You can email them at: osi@opensource.org

There is also a list of 40+ open source licenses at:
    http://opensource.org/licenses/

While you and I probably don't want to go through all 40 trying to
figure out which one best fits your situation, they might be able to
help you at least narrow down the list.

I'm not sure I completely understand your goals for a license so permit
me this one question - what prevents you from using a BSD type license
for the libraries, while keeping the compiler itself under GPL?

You might also want to look at the "Artistic License"
http://opensource.org/licenses/artistic-license.php

Dan

--
http://www.piclist.com hint: The list server can filter out subtopics
(like ads or off topics) for you. See http://www.piclist.com/#topics