There is another option. Sell the compiled gpu kernals in a binary format:
(Like wolf0's sgminer .bin files)

This will be linux compatible, and the user can use a modified ccminer without gpu-code.

No Licesence issues, if the kernals are written from scratch.. (They should if you want to optimize them)