Re: [Godi-list] Small problem using godi
Am Mittwoch, den 16.12.2009, 01:50 +0100 schrieb Anders Thøgersen: > Hi, > > I started installing godi and ran into a small problem with the > bootstrap script where the $gmake variable is being set. I have a shell > option set that causes the directory being cd'd to to be echoed (not > sure which shell option this is) and that caused the $gmake variable to > contain the directory leading to the failure of bootstrap. > > This small patch fixed it. Fix your shell. Many scripts will not work if cd outputs the directory, think of constructs like v=$(cd directory; ./start_something). I guess cd is an alias to a shell function in your setup, and that the alias is set in the wrong initialization file. Such things should only be set for interactive shells, and not for any shell. Gerd -- Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany g...@gerd-stolpmann.de http://www.gerd-stolpmann.de Phone: +49-6151-153855 Fax: +49-6151-997714 ___ Godi-list mailing list Godi-list@ocaml-programming.de https://godirepo.camlcity.org/mailman/listinfo/godi-list
Re: [Godi-list] godi-pcre breakage with GODI_BASEPKG_PCRE
Peter, thanks for your concise analysis. I've patched godi-pcre as you
suggest.
Gerd
Am Mittwoch, den 16.12.2009, 00:00 + schrieb Peter:
> Back in March there was a thread "Latest godi-pcre upgrade breaks
> godi-pxp" discussing a problem whereby ocamlmklib was forgetting to link
> to libpcre when building godi-pcre using GODI_BASEPKG_PCRE. The thread
> ended when a workaround was found, and it appears the underlying bug is
> still present to this day.
>
> Note that the problem does not simply break godi-pxp. It breaks *all*
> bytecode usage of godi-pcre on affected platforms, including the
> installation of packages such as godi-mikmatch_pcre.
>
> The reason the correct flags are not passed to ocamlmklib turns out to
> be that godi_make is clobbering OCAMLMKLIB_FLAGS by passing its own
> value on the gmake command line. When pcre-ocaml's lib/Makefile tries
> to add the output from pcre-config to this variable, gmake silently
> ignores it because the command-line value takes precedence.
>
> The simplest solution seems to be to modify godi-pcre's Makefile so that
> it uses a different variable, and patch pcre-ocaml/lib/Makefile to
> include the GODI value when setting OCAMLMKLIB_FLAGS. This should work
> regardless of the setting of GODI_BASEPKG_PCRE. In other words,
> something along the lines of:
>
> --- ../old/Makefile 2009-12-15 22:10:44.0 +
> +++ ./Makefile2009-12-15 23:05:12.0 +
> @@ -46,7 +46,7 @@
> .endif
>
> .if ${CONF_PCRE_NEED_RPATH} == "yes"
> -MAKE_FLAGS+= "OCAMLMKLIB_FLAGS=-Wl,${RPATH_FLAG}${CONF_PCRE_LIBDIR}"
> +MAKE_FLAGS+= "GODI_MKLIB_FLAGS=-Wl,${RPATH_FLAG}${CONF_PCRE_LIBDIR}"
> .endif
>
> USE_GMAKE= yes
> --- ../old/patches/patch-aa-lib_Makefile 1970-01-01 01:00:00.0
> +0100
> +++ ./patches/patch-aa-lib_Makefile 2009-12-15 23:04:46.0 +
> @@ -0,0 +1,11 @@
> +--- lib/Makefile.orig2009-12-15 22:55:05.0 +
> lib/Makefile 2009-12-15 22:55:52.0 +
> +@@ -4,7 +4,7 @@
> + CFLAGS := -O2 $(shell pcre-config --cflags)
> + PCRE_FLAGS := $(shell pcre-config --libs)
> + OCAMLLDFLAGS := -cclib "$(PCRE_FLAGS)"
> +-OCAMLMKLIB_FLAGS := $(PCRE_FLAGS)
> ++OCAMLMKLIB_FLAGS := $(GODI_MKLIB_FLAGS) $(PCRE_FLAGS)
> + RESULT := pcre
> +
> + all:
>
> ___
> Godi-list mailing list
> Godi-list@ocaml-programming.de
> https://godirepo.camlcity.org/mailman/listinfo/godi-list
>
--
Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany
g...@gerd-stolpmann.de http://www.gerd-stolpmann.de
Phone: +49-6151-153855 Fax: +49-6151-997714
___
Godi-list mailing list
Godi-list@ocaml-programming.de
https://godirepo.camlcity.org/mailman/listinfo/godi-list
Re: [Godi-list] Fwd: Re: LablGL on GODI
Am Dienstag, den 08.12.2009, 14:05 +0100 schrieb AUGER: > Hi all, as said in a mail I had with mulhern, lablGL is not up to date. > I don't know enough on lablGL to know what must be changed; it compiles > also under ubuntu; > I have commited these changes but didn't registered them in the maps; > do not hesitate to mail me if you know more than me about it, or if you > encounter problems. > > I didn't computed the distinfo This update looks good, and I've just released it. Gerd > > > --- Message réexpédié--- > De: mulhern > A: "AUGER Cédric" > Cc: > Sujet: Re: LablGL on GODI > Date: Mon, 07 Dec 2009 18:48:02 +0100 > > Could you take this duty over? I've fallen out of touch since I took > over the job from somebody else a while back. An email to Gerd is all > it takes. > > - mulhern > > On Dec 7, 2009, at 11:14 AM, AUGER Cédric wrote: > > > Hi, I recently installed Gentoo and had some problem with lablGL > > package on GODI. > > > > While googling, it seemed to be normal, and that the gentoo package > > works. > > > > Having a look at the gentoo package I saw it was lablGL-1.04 (~1yr old > > version) and not lablgl-1.02. > > > > removing patch files (no longer required!), renaming and upgrading > > lablgl- into lablGL- in the Makefile (joined to the message), and > > removing distinfo (too lazy to recompute CSUM), did the trick and > > compiled (tested with coq package). > > > > Now I am not sure Debian and others distributions provide by default a > > corresponding library of Tcl to compile this version... > > > > > -- > Cédric AUGER > > Univ Paris-Sud, Laboratoire LRI, UMR 8623, F-91405, Orsay > > ___ > Godi-list mailing list > Godi-list@ocaml-programming.de > https://godirepo.camlcity.org/mailman/listinfo/godi-list -- Gerd Stolpmann, Bad Nauheimer Str.3, 64289 Darmstadt,Germany g...@gerd-stolpmann.de http://www.gerd-stolpmann.de Phone: +49-6151-153855 Fax: +49-6151-997714 ___ Godi-list mailing list Godi-list@ocaml-programming.de https://godirepo.camlcity.org/mailman/listinfo/godi-list
