This can be "fixed" very easily (although I agree with the comment that we shouldn't need fixes for repo packages... in an ideal world ;-):
Just use the package manager to install libcegui-mk2-dev
The -dev is the important part. The package manager already installs the non -dev version, but that's not enough.
This can be "fixed" very easily (although I agree with the comment that we shouldn't need fixes for repo packages... in an ideal world ;-):
Just use the package manager to install libcegui-mk2-dev
The -dev is the important part. The package manager already installs the non -dev version, but that's not enough.