--- layout: fc_discuss_archives title: Message 36 from Frama-C-discuss on August 2013 ---
[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: 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