--- layout: fc_discuss_archives title: Message 38 from Frama-C-discuss on August 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] installing Fluorine



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
>