Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] installing Nitrogen release on Mac

I tried this but it didn't work: installed gtksourceview2, uninstalled lablgtk2 (and lablgtk), re-installed lablgtk2, but still no file /opt/local/lib/ocaml/lablgtk2/lablgtksourceview2.cmxa ...


~$ sudo port install gtksourceview2
--->  Computing dependencies for gtksourceview2
--->  Cleaning gtksourceview2
~$ 


~$ port contents gtksourceview2 | more
Port gtksourceview2 contains:
  /opt/local/include/gtksourceview-2.0/gtksourceview/completion-providers/words/gtksourcecompletionwords.h
  /opt/local/include/gtksourceview-2.0/gtksourceview/gtksourcebuffer.h
  /opt/local/include/gtksourceview-2.0/gtksourceview/gtksourcecompletion.h
  /opt/local/include/gtksourceview-2.0/gtksourceview/gtksourcecompletioncontext.h
...


~$ sudo port uninstall lablgtk2
--->  Deactivating lablgtk2 @2.14.2_1
--->  Cleaning lablgtk2
--->  Uninstalling lablgtk2 @2.14.2_1
--->  Cleaning lablgtk2
~$ sudo port uninstall lablgtk
--->  Deactivating lablgtk @1.2.7_1
--->  Cleaning lablgtk
--->  Uninstalling lablgtk @1.2.7_1
--->  Cleaning lablgtk
~$ sudo port install lablgtk2
--->  Computing dependencies for lablgtk2
--->  Fetching archive for lablgtk2
--->  Attempting to fetch lablgtk2-2.14.2_1.darwin_10.x86_64.tbz2 from http://packages.macports.org/lablgtk2
--->  Attempting to fetch lablgtk2-2.14.2_1.darwin_10.x86_64.tbz2.rmd160 from http://packages.macports.org/lablgtk2
--->  Installing lablgtk2 @2.14.2_1
--->  Activating lablgtk2 @2.14.2_1
--->  Cleaning lablgtk2
~$ 


~$ ls /opt/local/lib/ocaml/lablgtk2/lablgtksourceview2.cmxa
ls: /opt/local/lib/ocaml/lablgtk2/lablgtksourceview2.cmxa: No such file or directory
~$ 


~$ ls /opt/local/lib/ocaml/lablgtk2/ | more
gAction.cmi
gAction.cmx
gAction.ml
gAction.mli
gAssistant.cmi
...

-Steve


On Nov 26, 2011, at 11:47 AM, Pascal Cuoq wrote:

> Hello,
> 
> On Sat, Nov 26, 2011 at 5:34 PM, Stephen Siegel <siegel at udel.edu> wrote:
> Has anyone installed the Nitrogen release on OS X?
> 
> I have.
>  
> I have gotten stuck trying to build some of the dependencies.   Here, for example:
> 
> configure: WARNING: gui disabled because /opt/local/lib/ocaml/lablgtk2/lablgtksourceview2.cmxa missing.
> 
> Lablgtk detects gtksourceview at configure, and only compile the corresponding bindings if it is present.
> Install gtksourceview with:
> 
> port install gtksourceview2
> 
> Then recompile lablgtk.
> 
> BTW, does anyone know why there is not an OS X binary release, like there is for Carbon?
> 
> 
> I am still wondering whether this is worth it. There is a new source distribution for Mac OS X, named Homebrew, which is much more flexible than MacPorts in several respects. One is that it tries to avoid recompiling programming tools that are already available in OS X. Another is that package description files is decentralized with Git. For instance, a volunteer has already made a package for Frama-C:
> 
> https://github.com/mxcl/homebrew/pull/8215
> 
> If I understand correctly, this person was able to create this package because it was unnecessary to be recognized as an official packager, and it is also easy to use the package description even if it does not get integrated officially. I haven't tried Homebrew yet, but if it's as good as it promises to be, there won't be any more Frama-C Mac OS X binary distribution.
> 
> Pascal
> 
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20111126/f42f347a/attachment-0001.htm>