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

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
>