Delivered-To: lablgtk at yquem.inria.fr DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references; bh=/Htqj5z2PAi0O71HxLHbxZt+T3hMi6xzsmmZOoqBESg=; b=bbwdi5X/gMHDOhEnn3wkJmr5YrsqzMm3VPOsEi8OEL4XMlRhyuCGIaMs+pSdmiWkuBhfGa0HbvdkN05LOsW7IhOLiKuazhfEW4qTl9TSo8MNkruhxt3L1A0I+WI/kR6DdgYHDgcdsJB5ld7mLLb1I6UT++niacHtGF5Aa2jEnKc= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references; b=C3lckvMPW3k+QYCPbtq5bEKGlfSPx9g7CSMRJMSECPI3jCDCfYE17iyh2ttIefe+G6bTVbOb8dw7yQ0qLgL3VEq3uBZ4/9519iWzkIiuJC+egkE+WUfy2X3uaf/v+5k4cLDS9AzHtVPCiO/fjEZI4x3Ivrjp5gbNQ3n4PdVeLy4= Message-ID: Date: Wed, 20 Feb 2008 17:56:53 -0600 From: "Angela Zhu" To: "Yoann Padioleau" Subject: Re: [Lablgtk] Problem installing lablgtk 2.10.0 In-Reply-To: <87bq6b5h3k.fsf at wanadoo.fr> MIME-Version: 1.0 References: <87bq6b5h3k.fsf@wanadoo.fr> Cc: lablgtk at yquem.inria.fr Mime-version: 1.0 Content-Type: multipart/mixed; boundary="===============1461020347==" Content-Length: 16435 --===============1461020347== Content-Type: multipart/alternative; boundary="----=_Part_3127_7393422.1203551813814" ------=_Part_3127_7393422.1203551813814 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline Hi, I have fixed that problem. However, there are still no files like "lablgtksourceview.cma" or " gSourceView.cmi" can be found anywhere. Do I need to install something else to get those? Thanks, Angela On Wed, Feb 20, 2008 at 5:43 PM, Yoann Padioleau wrote: > "Angela Zhu" writes: > > > Hi, > > > > I need to use gSourceView library, which is now part of lablgtk 2.10.0 > > distribution. > > > > I first tried to install it using MacPort, however, after installing > lablgtk > > 2.10.0, > > I found gSourceView library ("lablgtksourceview.cma" and " > gSourceView.cmi") > > is nowhere on my machine. > > > > So I tried to download lablgtk 2.10.0.tar.gz and install it again. > > I did "./configure" and "make world" successfully, but I got the > following > > error > > when I was trying "make install". > > > > Anyone can give me a hand here? > > Well cp: /opt/local/lib/ocaml/lablgtk2/gaux.cmi: Permission denied > is quite self-explanatory :) > I don't know MacOS but I guess you need to change the right > permission of the /opt/local/lib/ocaml/lablgtk2/ directory. > > I suggest you to buy some general books about Unix and > MacOS. The kind of problems you have seems to have nothing to > do with ocaml, lablgtk, but are more about how to use > unix command line tools under MacOS. > > > > > Many thanks in advance! > > > > -- > > Regards, > > Angela Zhu > > ------------------------------------------ > > Dept. of CS, Rice University > > http://www.cs.rice.edu/~yz2/ > > > > $ make install > > make -C src install > > mkdir -p "/opt/local/lib/ocaml/lablgtk2" "/usr/local/bin" > "/opt/local/lib/ocaml > > /stublibs" > > cp gaux.cmi gpointer.cmi glib.cmi gobject.cmi gdkEnums.cmi > pangoEnums.cmi > > gtkEnums.cmi pango.cmi gdk.cmi gdkEvent.cmi gdkKeysyms.cmi gdkPixbuf.cmi > > gtk.cmi gtkSignal.cmi gtkStock.cmi gtkObject.cmi gtkData.cmi gtkBase.cmi > > gtkPack.cmi gtkButton.cmi gtkAssistant.cmi gtkMenu.cmi gtkMisc.cmi > > gtkWindow.cmi gtkList.cmi gtkBin.cmi gtkEdit.cmi gtkRange.cmi > gtkText.cmi > > gtkTree.cmi gtkFile.cmi gtkMain.cmi gtkBroken.cmi gPango.cmi gDraw.cmi > gObj.cmi > > gData.cmi gMain.cmi gContainer.cmi gPack.cmi gButton.cmi gText.cmi > gMenu.cmi > > gMisc.cmi gTree.cmi gList.cmi gFile.cmi gWindow.cmi gAssistant.cmi > gBin.cmi > > gEdit.cmi gRange.cmi gAction.cmi gBroken.cmi gUtil.cmi gToolbox.cmi > > glade.cmi gnomeCanvas.cmi gnoCanvas.cmi gnomeDruid.cmi gnoDruid.cmi > > gtkInit.cmi gtkThread.cmi "/opt/local/lib/ocaml/lablgtk2" > > cp: /opt/local/lib/ocaml/lablgtk2/gaux.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkInit.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gnoDruid.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gnomeDruid.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gnoCanvas.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gnomeCanvas.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/glade.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gToolbox.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gUtil.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gBroken.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gAction.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gRange.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gEdit.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gBin.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gAssistant.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gWindow.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gFile.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gList.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gTree.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gMisc.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gMenu.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gText.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gButton.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gPack.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gContainer.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gMain.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gData.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gObj.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gDraw.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gPango.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkBroken.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkMain.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkFile.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkTree.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkText.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkRange.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkEdit.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkBin.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkList.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkWindow.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkMisc.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkMenu.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkAssistant.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkButton.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkPack.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkBase.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkData.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkObject.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkStock.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkSignal.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtk.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gdkPixbuf.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gdkKeysyms.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gdkEvent.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gdk.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/pango.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkEnums.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/pangoEnums.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gdkEnums.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gobject.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/glib.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gpointer.cmi: Permission denied > > cp: /opt/local/lib/ocaml/lablgtk2/gtkThread.cmi: Permission denied > > make[1]: *** [install] Error 1 > > make: *** [install] Error 2 > > > > > > ------------------------------------------ > > _______________________________________________ > > Lablgtk mailing list > > Lablgtk@yquem.inria.fr > > http://yquem.inria.fr/cgi-bin/mailman/listinfo/lablgtk > ------=_Part_3127_7393422.1203551813814 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline Hi, I have fixed that problem.

However, there are still no files like "lablgtksourceview.cma" or "gSourceView.cmi"
can be found anywhere.

Do I need to install something else to get those?

Thanks,
Angela


On Wed, Feb 20, 2008 at 5:43 PM, Yoann Padioleau <padator@wanadoo.fr> wrote:
"Angela Zhu" <angela22.zhu@gmail.com> writes:

> Hi,
>
> I need to use gSourceView library, which is now part of lablgtk 2.10.0
> distribution.
>
> I first tried to install it using MacPort, however, after installing lablgtk
> 2.10.0,
> I found gSourceView library ("lablgtksourceview.cma" and "gSourceView.cmi")
> is nowhere on my machine.
>
> So I tried to download lablgtk 2.10.0.tar.gz and install it again.
> I did "./configure" and "make world" successfully, but I got the following
> error
> when I was trying "make install".
>
> Anyone can give me a hand here?

Well  cp: /opt/local/lib/ocaml/lablgtk2/gaux.cmi: Permission denied
is quite self-explanatory :)
I don't know MacOS but I guess you need to change the right
permission of the /opt/local/lib/ocaml/lablgtk2/ directory.

I suggest you to buy some general books about Unix and
MacOS. The kind of problems you have seems to have nothing to
do with ocaml, lablgtk,  but are more about how to use
unix command line tools under MacOS.



> Many thanks in advance!
>
> --
> Regards,
> Angela Zhu
> ------------------------------------------
> Dept. of CS, Rice University
> http://www.cs.rice.edu/~yz2/
>
> $ make install
> make -C src install
> mkdir -p "/opt/local/lib/ocaml/lablgtk2" "/usr/local/bin" "/opt/local/lib/ocaml
> /stublibs"
> cp gaux.cmi gpointer.cmi glib.cmi gobject.cmi gdkEnums.cmi pangoEnums.cmi
> gtkEnums.cmi pango.cmi gdk.cmi gdkEvent.cmi gdkKeysyms.cmi gdkPixbuf.cmi
> gtk.cmi gtkSignal.cmi gtkStock.cmi gtkObject.cmi gtkData.cmi gtkBase.cmi
> gtkPack.cmi gtkButton.cmi gtkAssistant.cmi gtkMenu.cmi gtkMisc.cmi
> gtkWindow.cmi gtkList.cmi gtkBin.cmi gtkEdit.cmi gtkRange.cmi gtkText.cmi
> gtkTree.cmi gtkFile.cmi gtkMain.cmi gtkBroken.cmi gPango.cmi gDraw.cmi gObj.cmi
> gData.cmi gMain.cmi gContainer.cmi gPack.cmi gButton.cmi gText.cmi gMenu.cmi
> gMisc.cmi gTree.cmi gList.cmi gFile.cmi gWindow.cmi gAssistant.cmi gBin.cmi
> gEdit.cmi gRange.cmi gAction.cmi gBroken.cmi gUtil.cmi gToolbox.cmi
> glade.cmi  gnomeCanvas.cmi gnoCanvas.cmi gnomeDruid.cmi gnoDruid.cmi
> gtkInit.cmi gtkThread.cmi "/opt/local/lib/ocaml/lablgtk2"
> cp: /opt/local/lib/ocaml/lablgtk2/gaux.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkInit.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gnoDruid.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gnomeDruid.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gnoCanvas.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gnomeCanvas.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/glade.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gToolbox.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gUtil.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gBroken.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gAction.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gRange.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gEdit.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gBin.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gAssistant.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gWindow.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gFile.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gList.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gTree.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gMisc.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gMenu.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gText.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gButton.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gPack.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gContainer.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gMain.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gData.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gObj.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gDraw.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gPango.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkBroken.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkMain.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkFile.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkTree.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkText.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkRange.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkEdit.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkBin.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkList.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkWindow.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkMisc.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkMenu.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkAssistant.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkButton.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkPack.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkBase.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkData.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkObject.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkStock.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkSignal.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtk.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gdkPixbuf.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gdkKeysyms.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gdkEvent.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gdk.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/pango.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkEnums.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/pangoEnums.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gdkEnums.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gobject.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/glib.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gpointer.cmi: Permission denied
> cp: /opt/local/lib/ocaml/lablgtk2/gtkThread.cmi: Permission denied
> make[1]: *** [install] Error 1
> make: *** [install] Error 2
>
>
> ------------------------------------------
> _______________________________________________
> Lablgtk mailing list
> Lablgtk@yquem.inria.fr
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/lablgtk



------=_Part_3127_7393422.1203551813814-- --===============1461020347== Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ Lablgtk mailing list Lablgtk@yquem.inria.fr http://yquem.inria.fr/cgi-bin/mailman/listinfo/lablgtk --===============1461020347==--