--- layout: fc_discuss_archives title: Message 38 from Frama-C-discuss on August 2013 ---
Sorry, I typed "oppam" below but result is same with "opam": student at cisc614:~/Downloads/frama-c-Fluorine-20130601/doc/manuals$ sudo apt-get install opam [sudo] password for student: Reading package lists... Done Building dependency tree Reading state information... Done E: Unable to locate package opam student at cisc614: BTW, I was able to build and install frama-c manually (./configure ...) on Ubuntu after installing the other packages. Ditto with Why3. Now I am going to see if I can get Jessie & WP plug-ins to work. Incidentally, in OS X, the OPAM port works (sudo port install opam). -Steve On Aug 22, 2013, at 2:59 PM, Stephen Siegel <siegel at udel.edu> wrote: > Here are the details: > > > student at cisc614:~$ sudo add-apt-repository ppa:avsm/ppa > [sudo] password for student: > You are about to add the following PPA to your system: > Latest stable versions of OCaml and OPAM. > More info: https://launchpad.net/~avsm/+archive/ppa > Press [ENTER] to continue or ctrl-c to cancel adding it > > gpg: keyring `/tmp/tmplkbphr/secring.gpg' created > gpg: keyring `/tmp/tmplkbphr/pubring.gpg' created > gpg: requesting key 61707B09 from hkp server keyserver.ubuntu.com > gpg: /tmp/tmplkbphr/trustdb.gpg: trustdb created > gpg: key 61707B09: public key "Launchpad PPA for Anil Madhavapeddy" imported > gpg: Total number processed: 1 > gpg: imported: 1 (RSA: 1) > OK > student at cisc614:~$ cd Downloads/^C > student at cisc614:~$ sudo apt-get update > Get:1 http://us.archive.ubuntu.com quantal Release.gpg [933 B] > Get:2 http://us.archive.ubuntu.com quantal-updates Release.gpg [933 B] > Get:3 http://extras.ubuntu.com quantal Release.gpg [72 B] > Ign http://ppa.launchpad.net quantal Release.gpg > Get:4 http://security.ubuntu.com quantal-security Release.gpg [933 B] > Get:5 http://us.archive.ubuntu.com quantal-backports Release.gpg [933 B] > Hit http://us.archive.ubuntu.com quantal Release > Get:6 http://us.archive.ubuntu.com quantal-updates Release [49.6 kB] > Get:7 http://security.ubuntu.com quantal-security Release [49.6 kB] > Hit http://extras.ubuntu.com quantal Release > Ign http://ppa.launchpad.net quantal Release > Hit http://us.archive.ubuntu.com quantal-backports Release > Hit http://us.archive.ubuntu.com quantal/main Sources > Hit http://extras.ubuntu.com quantal/main Sources > Hit http://us.archive.ubuntu.com quantal/restricted Sources > Hit http://extras.ubuntu.com quantal/main i386 Packages > Hit http://us.archive.ubuntu.com quantal/universe Sources > Get:8 http://security.ubuntu.com quantal-security/main Sources [55.2 kB] > Hit http://us.archive.ubuntu.com quantal/multiverse Sources > Hit http://us.archive.ubuntu.com quantal/main i386 Packages > Hit http://us.archive.ubuntu.com quantal/restricted i386 Packages > Hit http://us.archive.ubuntu.com quantal/universe i386 Packages > Get:9 http://security.ubuntu.com quantal-security/restricted Sources [1,833 B] > Hit http://us.archive.ubuntu.com quantal/multiverse i386 Packages > Get:10 http://security.ubuntu.com quantal-security/universe Sources [20.5 kB] > Hit http://us.archive.ubuntu.com quantal/main Translation-en > Get:11 http://security.ubuntu.com quantal-security/multiverse Sources [1,160 B] > Get:12 http://security.ubuntu.com quantal-security/main i386 Packages [153 kB] > Hit http://us.archive.ubuntu.com quantal/multiverse Translation-en > Hit http://us.archive.ubuntu.com quantal/restricted Translation-en > Hit http://us.archive.ubuntu.com quantal/universe Translation-en > Get:13 http://security.ubuntu.com quantal-security/restricted i386 Packages [3,531 B] > Ign http://extras.ubuntu.com quantal/main Translation-en_US > Get:14 http://us.archive.ubuntu.com quantal-updates/main Sources [109 kB] > Get:15 http://security.ubuntu.com quantal-security/universe i386 Packages [59.2 kB] > Ign http://extras.ubuntu.com quantal/main Translation-en > Get:16 http://us.archive.ubuntu.com quantal-updates/restricted Sources [2,564 B] > Get:17 http://security.ubuntu.com quantal-security/multiverse i386 Packages [1,710 B] > Get:18 http://us.archive.ubuntu.com quantal-updates/universe Sources [90.8 kB] > Err http://ppa.launchpad.net quantal/main Sources > 404 Not Found > Get:19 http://us.archive.ubuntu.com quantal-updates/multiverse Sources [4,342 B] > Hit http://security.ubuntu.com quantal-security/main Translation-en > Err http://ppa.launchpad.net quantal/main i386 Packages > 404 Not Found > Get:20 http://us.archive.ubuntu.com quantal-updates/main i386 Packages [278 kB] > Hit http://security.ubuntu.com quantal-security/multiverse Translation-en > Ign http://ppa.launchpad.net quantal/main Translation-en_US > Get:21 http://us.archive.ubuntu.com quantal-updates/restricted i386 Packages [4,841 B] > Hit http://security.ubuntu.com quantal-security/restricted Translation-en > Ign http://ppa.launchpad.net quantal/main Translation-en > Get:22 http://us.archive.ubuntu.com quantal-updates/universe i386 Packages [201 kB] > Get:23 http://us.archive.ubuntu.com quantal-updates/multiverse i386 Packages [11.2 kB] > Hit http://security.ubuntu.com quantal-security/universe Translation-en > Hit http://us.archive.ubuntu.com quantal-updates/main Translation-en > Hit http://us.archive.ubuntu.com quantal-updates/multiverse Translation-en > Hit http://us.archive.ubuntu.com quantal-updates/restricted Translation-en > Hit http://us.archive.ubuntu.com quantal-updates/universe Translation-en > Hit http://us.archive.ubuntu.com quantal-backports/main Sources > Hit http://us.archive.ubuntu.com quantal-backports/restricted Sources > Hit http://us.archive.ubuntu.com quantal-backports/universe Sources > Hit http://us.archive.ubuntu.com quantal-backports/multiverse Sources > Hit http://us.archive.ubuntu.com quantal-backports/main i386 Packages > Hit http://us.archive.ubuntu.com quantal-backports/restricted i386 Packages > Hit http://us.archive.ubuntu.com quantal-backports/universe i386 Packages > Hit http://us.archive.ubuntu.com quantal-backports/multiverse i386 Packages > Hit http://us.archive.ubuntu.com quantal-backports/main Translation-en > Hit http://us.archive.ubuntu.com quantal-backports/multiverse Translation-en > Ign http://security.ubuntu.com quantal-security/main Translation-en_US > Hit http://us.archive.ubuntu.com quantal-backports/restricted Translation-en > Ign http://security.ubuntu.com quantal-security/multiverse Translation-en_US > Ign http://security.ubuntu.com quantal-security/restricted Translation-en_US > Hit http://us.archive.ubuntu.com quantal-backports/universe Translation-en > Ign http://security.ubuntu.com quantal-security/universe Translation-en_US > Ign http://us.archive.ubuntu.com quantal/main Translation-en_US > Ign http://us.archive.ubuntu.com quantal/multiverse Translation-en_US > Ign http://us.archive.ubuntu.com quantal/restricted Translation-en_US > Ign http://us.archive.ubuntu.com quantal/universe Translation-en_US > Ign http://us.archive.ubuntu.com quantal-updates/main Translation-en_US > Ign http://us.archive.ubuntu.com quantal-updates/multiverse Translation-en_US > Ign http://us.archive.ubuntu.com quantal-updates/restricted Translation-en_US > Ign http://us.archive.ubuntu.com quantal-updates/universe Translation-en_US > Ign http://us.archive.ubuntu.com quantal-backports/main Translation-en_US > Ign http://us.archive.ubuntu.com quantal-backports/multiverse Translation-en_US > Ign http://us.archive.ubuntu.com quantal-backports/restricted Translation-en_US > Ign http://us.archive.ubuntu.com quantal-backports/universe Translation-en_US > Fetched 1,101 kB in 12s (86.1 kB/s) > W: Failed to fetch http://ppa.launchpad.net/avsm/ppa/ubuntu/dists/quantal/main/source/Sources 404 Not Found > > W: Failed to fetch http://ppa.launchpad.net/avsm/ppa/ubuntu/dists/quantal/main/binary-i386/Packages 404 Not Found > > E: Some index files failed to download. They have been ignored, or old ones used instead. > student at cisc614:~$ sudo apt-get install oppam > Reading package lists... Done > Building dependency tree > Reading state information... Done > E: Unable to locate package oppam > student at cisc614:~$ > > > > On Aug 22, 2013, at 1:45 PM, Maria Christofi <maria.christofis at gmail.com> wrote: > >> Did you do "add-apt-repository ppa:avsm/ppa && apt-get update " first? >> >> Maria >> >> >> Stephen Siegel <siegel at udel.edu> a ?crit : >> >>> I ran into a problem trying to install Opam with apt-get on Ubuntu 12.10: >>> >>> student at cisc614:~$ sudo apt-get install ocaml opam >>> [sudo] password for student: >>> Reading package lists... Done >>> Building dependency tree >>> Reading state information... Done >>> E: Unable to locate package opam >>> student at cisc614:~$ >>> >>> Does anyone know what would cause that? Thanks, >>> Steve >>> >>> >>> On Aug 22, 2013, at 6:30 AM, Fran?ois Bobot <francois.bobot at cea.fr> wrote: >>> >>>> On 22/08/2013 11:22, Roberto Bagnara wrote: >>>>> On 08/22/13 09:44, Boris Yakobowski wrote: >>>>>> The section "REQUIREMENTS / Ubuntu>= Lucid Lynx 10.04" of the INSTALL >>>>>> file should list all such requirements for apt. (At least it did the >>>>>> last time we checked.) But basically, you just need Lablgtk2, which is >>>>>> supplied by liblablgtksourceview2-ocaml-dev and >>>>>> liblablgtk2-gnome-ocaml-dev. All other dependencies mentioned in this >>>>>> section are optional. >>>>> >>>>> Well, they are, but without them the system is much less interesting. >>>>> A few months ago we tried, with my students, to build everything >>>>> from sources. One of our objective was to installa everything >>>>> without root provileges (e.g., under ~/Frama-C). >>>>> We failed because, while most (all?) dependencies support the >>>>> specification of installation prefixes, several of them do not >>>>> support finding their dependencies in non-standard places. >>>>> In the end, we gave up. If someone finds a way to install >>>>> Fluorine under Ubuntu 12.04/12.10/13.04 I would be glad to know. >>>> >>>> >>>> If you want to install Frama-C without root privilege and all its ocaml dependecies, you can use opam which is a source-based package manager for OCaml. >>>> >>>> http://opam.ocamlpro.com/index.html >>>> >>>> There is an up to date Frama-C package. When opam is installed, it is as simple as >>>> >>>> opam install frama-c >>>> >>>> >>>> Best, >>>> >>>> -- >>>> Fran?ois >>>> >>>> _______________________________________________ >>>> 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 >>> >>> >>> _______________________________________________ >>> 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 >> _______________________________________________ >> 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 >