Re: [Why3-club] how to install why3 0.88.3 using opam for mac os

2018-04-12 Thread Alan Schmitt
On 2018-04-12 19:12, Virgile Prevosto writes: > 2018-04-12 18:36 GMT+02:00 wenlong xie : >> >> >> [conf-gtksourceview: pkg-config gtksourceview-2.0] Command started >> + pkg-config "--short-errors" "--print-errors" "gtksourceview-2.0" >> (CWD=/Users/wenlongxie/.opam/system/build/conf-gtksourcevie

Re: [Why3-club] how to install why3 0.88.3 using opam for mac os

2018-04-12 Thread Virgile Prevosto
2018-04-12 18:36 GMT+02:00 wenlong xie : > > > [conf-gtksourceview: pkg-config gtksourceview-2.0] Command started > + pkg-config "--short-errors" "--print-errors" "gtksourceview-2.0" > (CWD=/Users/wenlongxie/.opam/system/build/conf-gtksourceview.2) > [ERROR] The compilation of conf-gtksourceview f

Re: [Why3-club] how to install why3 0.88.3 using opam for mac os

2018-04-12 Thread wenlong xie
opam install --verbose why3 The following actions will be performed: ∗ install conf-gtksourceview 2 [required by why3] ∗ install lablgtk2.18.6[required by why3] ∗ install ocamlgraph 1.8.8 [required by why3] ∗ install why3-base 0.88.3

[Why3-club] Post-doc position in Formal Semantics and Compiler Verification

2018-04-12 Thread Delphine Demange
The Inria/IRISA Celtique group in Rennes (France) has one open post-doctoral position. The position is funded by the national ANR project Discover (http://discover.irisa.fr/ ). The goal of the Discover project is to design, implement and formally verify compilation techn