Re: bindist for Intel MacOS X 10.4 (Tiger) with static libs

2008-01-17 Thread Isaac Dupree

Yitzchak Gale wrote:

Bulat Ziganshin wrote:

for me, GMP is much more problematic issue. strictly speaking, we
can't say that GHC is BSD-licensed because it includes LGPL-licensed
code (and that much worse, it includes this code in run-time libs)


Manuel M T Chakravarty wrote:

..binary distributions of GHC that include libgmp.a and statically
link it into compiled code...  All
that is needed to make this legal is to (a)...
(b) give users access to another version of
the proprietary program that links GMP dynamically.


Wow, I didn't realize that. Now I understand Bulat. In a
project of any serious size and complexity, the use
of static or dynamic linking is often architechted in and
cannot be changed.


(b) is a sufficient condition, but not necessary; there are other ways 
to satisfy the license.  It's also possible to just distribute, for 
example, the .o file(s) and a way to link them with a GMP to get the 
final result; this doesn't even reveal your source-code any more than 
your program being dynamically linked, at least if you do it right -- right?


~Isaac
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


Re: bindist for Intel MacOS X 10.4 (Tiger) with static libs

2008-01-17 Thread Yitzchak Gale
Isaac Dupree wrote:
 It's also possible to just distribute, for
 example, the .o file(s) and a way to link them with a GMP to get the
 final result; this doesn't even reveal your source-code any more than
 your program being dynamically linked, at least if you do it right -- right?

It doesn't matter. In a typical commercial development
environment, you just don't have any control over that.

At some companies I've gotten free software included
in products in a way that required certain extra files
from the 3rd party to be included inside our installation
package - such as a source code tarball, GNU license,
and such. It wasn't easy, but I've done it. But to change
the way our own code is distributed - forget it.

If you happen to be in a situation where the LGPL thing
can be integrated as a dynamic library, fine. Otherwise,
I don't see it.

-Yitz
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


Re: bindist for Intel MacOS X 10.4 (Tiger) with static libs

2008-01-17 Thread Thorkil Naur
Hello,

On Thursday 17 January 2008 05:24, Manuel M T Chakravarty wrote:
 Thorkil Naur:
  Hello,
 
  On Tuesday 08 January 2008 15:07, Christian Maeder wrote:
  Hi,
 
  I've succeeded in building a binary distribution that uses static
  libraries for gmp and readline. libreadline.a, libncurses.a and  
  libgmp.a
  with corresponding header files are included. (For license issues ask
  someone else.)
 
  On http://gmplib.org/ we find:
 
  GMP is distributed under the GNU LGPL. This license makes the  
  library free to
  use, share, and improve, and allows you to pass on the result. The  
  license
  gives freedoms, but also sets firm restrictions on the use with non- 
  free
  programs.
 
  I have not attempted to check whether your distribution fulfills the
  requirements of the LGPL.
 
 It does fullfil them.  The source code of all components of the system  
 is available enabling users to build the same software with a  
 different version of GMP.  That's all that the LGPL requires of  
 software linked against a LGPL library.
 
  Further, on http://cnswww.cns.cwru.edu/php/chet/readline/rltop.html:
 
  Readline is free software, distributed under the terms of the GNU  
  General
  Public License, version 2. This means that if you want to use  
  Readline in a
  program that you release or distribute to anyone, the program must  
  be free
  software and have a GPL-compatible license.
 
  For your distribution to adhere to this, it appears to require GHC  
  to have a
  GPL-compatible license. 

Sorry, my use of the term GPL-compatible here is wrong. What I should have 
written was that it appears to require GHC to be distributed under the GPL.

  I don't believe it does. 
 
 It does.  GHC's codebase is a mix of BSD3, LGLP, and GPL.  They are  
 perfectly compatible.  See http://www.fsf.org/licensing/licenses/index_html 
  .
 
 Manuel
 

Best regards
Thorkil
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


Re: bindist for Intel MacOS X 10.4 (Tiger) with static libs

2008-01-16 Thread Manuel M T Chakravarty

Thorkil Naur:

Hello,

On Tuesday 08 January 2008 15:07, Christian Maeder wrote:

Hi,

I've succeeded in building a binary distribution that uses static
libraries for gmp and readline. libreadline.a, libncurses.a and  
libgmp.a

with corresponding header files are included. (For license issues ask
someone else.)


On http://gmplib.org/ we find:

GMP is distributed under the GNU LGPL. This license makes the  
library free to
use, share, and improve, and allows you to pass on the result. The  
license
gives freedoms, but also sets firm restrictions on the use with non- 
free

programs.

I have not attempted to check whether your distribution fulfills the
requirements of the LGPL.


It does fullfil them.  The source code of all components of the system  
is available enabling users to build the same software with a  
different version of GMP.  That's all that the LGPL requires of  
software linked against a LGPL library.


Further, on http://cnswww.cns.cwru.edu/php/chet/readline/rltop.html:

Readline is free software, distributed under the terms of the GNU  
General
Public License, version 2. This means that if you want to use  
Readline in a
program that you release or distribute to anyone, the program must  
be free

software and have a GPL-compatible license.

For your distribution to adhere to this, it appears to require GHC  
to have a

GPL-compatible license. I don't believe it does.


It does.  GHC's codebase is a mix of BSD3, LGLP, and GPL.  They are  
perfectly compatible.  See http://www.fsf.org/licensing/licenses/index_html 
.


Manuel
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


Re: bindist for Intel MacOS X 10.4 (Tiger) with static libs

2008-01-10 Thread Thorkil Naur
Hello,

On Tuesday 08 January 2008 15:07, Christian Maeder wrote:
 Hi,
 
 I've succeeded in building a binary distribution that uses static
 libraries for gmp and readline. libreadline.a, libncurses.a and libgmp.a
 with corresponding header files are included. (For license issues ask
 someone else.)

On http://gmplib.org/ we find:

GMP is distributed under the GNU LGPL. This license makes the library free to 
use, share, and improve, and allows you to pass on the result. The license 
gives freedoms, but also sets firm restrictions on the use with non-free 
programs.

I have not attempted to check whether your distribution fulfills the 
requirements of the LGPL.

Further, on http://cnswww.cns.cwru.edu/php/chet/readline/rltop.html:

Readline is free software, distributed under the terms of the GNU General 
Public License, version 2. This means that if you want to use Readline in a 
program that you release or distribute to anyone, the program must be free 
software and have a GPL-compatible license.

For your distribution to adhere to this, it appears to require GHC to have a 
GPL-compatible license. I don't believe it does.

 ...

Best regards
Thorkil
___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users


Re: bindist for Intel MacOS X 10.4 (Tiger) with static libs

2008-01-09 Thread Christian Maeder
Christian Maeder wrote:
 I've succeeded in building a binary distribution that uses static
 libraries for gmp and readline. libreadline.a, libncurses.a and libgmp.a
 with corresponding header files are included. (For license issues ask
 someone else.) Linking is done using the flag -search_paths_first.

 Frameworks or dylibs for gmp or readline are no longer required and are
 not used when linking binaries.

 http://www.dfki.de/sks/hets/intel-mac/versions/ghc-6.8.2-i386-apple-darwin-static-libs.tar.bz2

The file is updated now. My error was to strip the binaries. That means
also make install-strip should not be used for installation.

 Be warned.
 While static linking seems to work, dynamic linking using ghci does not:
 
 ghci -package readline

This works now as expected.
Christian

 GHCi, version 6.8.2: http://www.haskell.org/ghc/  :? for help
 Loading package base ... linking ... done.
 Loading package old-locale-1.0.0.0 ... linking ... done.
 Loading package old-time-1.0.0.0 ... linking ... done.
 Loading package filepath-1.1.0.0 ... linking ... done.
 Loading package directory-1.0.0.0 ... linking ... done.
 Loading package unix-2.3.0.0 ... linking ... done.
 Loading package process-1.0.0.0 ... linking ... done.
 ghc-6.8.2:
 /Users/Shared/maeder/lib/ghc-6.8.2/lib/readline-1.0.1.0/HSreadline-1.0.1.0.o:
 unknown symbol `_rl_insert_completions'
 Loading package readline-1.0.1.0 ... linking ... ghc-6.8.2: unable to
 load package `readline-1.0.1.0'

___
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users