[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Successfully merged projects
From: |
John Swensen |
Subject: |
Re: Successfully merged projects |
Date: |
Thu, 14 Apr 2011 07:03:33 -0400 |
On Apr 14, 2011, at 6:57 AM, Michael Goffioul wrote:
> On Thu, Apr 14, 2011 at 11:46 AM, Jacob Dawid
> <address@hidden> wrote:
>> Please remember to include the full platform-independent source of the
>> QScintilla2 widget in the repository. You may place it in a subfolder or
>> similar, but the project itself must have all dependencies except octave and
>> Qt included, so it compiles completely.
>
> I'd object including/forking QScintilla sources. There are packages
> available for standard Linux distributions (for instance, I checked
> Fedora 12 and Debian squeeze).
>
> Michael.
I have no intention of including the sources from QScintilla in the repository.
Most platforms already have it as a shared library and if there is a platform
that doesn't, we can always download a specific version, compile it, and link
it statically. That way we only have an external library in the binary package
but not source package. If someone really want to get the source very time
they build Quint, you can just add a MAkefile target that downloads,
uncompresses, and builds the library.
John
- Re: Successfully merged projects, (continued)
- Re: Successfully merged projects, Jacob Dawid, 2011/04/13
- Re: Successfully merged projects, John Swensen, 2011/04/13
- Re: Successfully merged projects, Jacob Dawid, 2011/04/13
- Re: Successfully merged projects, John Swensen, 2011/04/13
- Message not available
- Message not available
- Re: Successfully merged projects, Jacob Dawid, 2011/04/13
- Re: Successfully merged projects, Richard Crozier, 2011/04/13
- Message not available
- Re: Successfully merged projects, Jacob Dawid, 2011/04/14
- Re: Successfully merged projects, John Swensen, 2011/04/14
- Re: Successfully merged projects, Jacob Dawid, 2011/04/14
- Re: Successfully merged projects, Michael Goffioul, 2011/04/14
- Re: Successfully merged projects,
John Swensen <=
- Message not available
- Fwd: Successfully merged projects, Jacob Dawid, 2011/04/14
- Re: Successfully merged projects, Michael Creel, 2011/04/14
- Re: Successfully merged projects, Ben Abbott, 2011/04/13
- Re: Successfully merged projects, John W. Eaton, 2011/04/11
- Re: Successfully merged projects, Jordi GutiƩrrez Hermoso, 2011/04/11
- Re: Successfully merged projects, John W. Eaton, 2011/04/11
- Re: Successfully merged projects, Michael D Godfrey, 2011/04/11
- Re: Successfully merged projects, John W. Eaton, 2011/04/12
- Re: Successfully merged projects, Richard Crozier, 2011/04/11
- Re: Successfully merged projects, Richard Crozier, 2011/04/11