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 Fluorine

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:
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
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)
student at cisc614:~$ cd Downloads/^C
student at cisc614:~$ sudo apt-get update
Get:1 quantal Release.gpg [933 B]
Get:2 quantal-updates Release.gpg [933 B]         
Get:3 quantal Release.gpg [72 B]                      
Ign quantal Release.gpg                               
Get:4 quantal-security Release.gpg [933 B]          
Get:5 quantal-backports Release.gpg [933 B]       
Hit quantal Release                               
Get:6 quantal-updates Release [49.6 kB]  
Get:7 quantal-security Release [49.6 kB]   
Hit quantal Release                          
Ign quantal Release                          
Hit quantal-backports Release                     
Hit quantal/main Sources                          
Hit quantal/main Sources                              
Hit quantal/restricted Sources                    
Hit quantal/main i386 Packages                        
Hit quantal/universe Sources                      
Get:8 quantal-security/main Sources [55.2 kB]       
Hit quantal/multiverse Sources                    
Hit quantal/main i386 Packages                    
Hit quantal/restricted i386 Packages     
Hit quantal/universe i386 Packages                
Get:9 quantal-security/restricted Sources [1,833 B] 
Hit quantal/multiverse i386 Packages              
Get:10 quantal-security/universe Sources [20.5 kB]  
Hit quantal/main Translation-en                   
Get:11 quantal-security/multiverse Sources [1,160 B]
Get:12 quantal-security/main i386 Packages [153 kB] 
Hit quantal/multiverse Translation-en             
Hit quantal/restricted Translation-en             
Hit quantal/universe Translation-en               
Get:13 quantal-security/restricted i386 Packages [3,531 B]
Ign quantal/main Translation-en_US                    
Get:14 quantal-updates/main Sources [109 kB]      
Get:15 quantal-security/universe i386 Packages [59.2 kB]
Ign quantal/main Translation-en                       
Get:16 quantal-updates/restricted Sources [2,564 B]
Get:17 quantal-security/multiverse i386 Packages [1,710 B]
Get:18 quantal-updates/universe Sources [90.8 kB] 
Err quantal/main Sources                              
  404  Not Found
Get:19 quantal-updates/multiverse Sources [4,342 B]
Hit quantal-security/main Translation-en            
Err quantal/main i386 Packages                        
  404  Not Found
Get:20 quantal-updates/main i386 Packages [278 kB]
Hit quantal-security/multiverse Translation-en      
Ign quantal/main Translation-en_US                    
Get:21 quantal-updates/restricted i386 Packages [4,841 B]
Hit quantal-security/restricted Translation-en
Ign quantal/main Translation-en                
Get:22 quantal-updates/universe i386 Packages [201 kB]
Get:23 quantal-updates/multiverse i386 Packages [11.2 kB]
Hit quantal-security/universe Translation-en        
Hit quantal-updates/main Translation-en    
Hit quantal-updates/multiverse Translation-en
Hit quantal-updates/restricted Translation-en
Hit quantal-updates/universe Translation-en
Hit quantal-backports/main Sources         
Hit quantal-backports/restricted Sources   
Hit quantal-backports/universe Sources     
Hit quantal-backports/multiverse Sources   
Hit quantal-backports/main i386 Packages          
Hit quantal-backports/restricted i386 Packages    
Hit quantal-backports/universe i386 Packages
Hit quantal-backports/multiverse i386 Packages
Hit quantal-backports/main Translation-en         
Hit quantal-backports/multiverse Translation-en   
Ign quantal-security/main Translation-en_US         
Hit quantal-backports/restricted Translation-en   
Ign quantal-security/multiverse Translation-en_US   
Ign quantal-security/restricted Translation-en_US   
Hit quantal-backports/universe Translation-en     
Ign quantal-security/universe Translation-en_US     
Ign quantal/main Translation-en_US                
Ign quantal/multiverse Translation-en_US          
Ign quantal/restricted Translation-en_US          
Ign quantal/universe Translation-en_US            
Ign quantal-updates/main Translation-en_US        
Ign quantal-updates/multiverse Translation-en_US  
Ign quantal-updates/restricted Translation-en_US
Ign quantal-updates/universe Translation-en_US
Ign quantal-backports/main Translation-en_US
Ign quantal-backports/multiverse Translation-en_US
Ign quantal-backports/restricted Translation-en_US
Ign quantal-backports/universe Translation-en_US
Fetched 1,101 kB in 12s (86.1 kB/s)
W: Failed to fetch  404  Not Found

W: Failed to fetch  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> wrote:

> Did you do "add-apt-repository ppa:avsm/ppa && apt-get update " first?
> Maria
> Stephen Siegel <siegel at> 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> 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.
>>> 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
>> _______________________________________________
>> Frama-c-discuss mailing list
>> Frama-c-discuss at
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at