Re: Problems Installing OPAM

[Richard Mortier <Richard.Mortier@xxxxxxxxxxxxxxxx>]

Debian is, ironically, famously stable :)  (unlike far too many other linux distros...)

Sent from Samsung Mobile 


Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:

Ah yes, that's right.  The solution is basically to get the Debian packages upstreamed properly so that a source install is never required.  This has been blocked due to the 8 month (!) upstream Debian release freeze, but this ended last week.  I've pinged the Debian issue on Github to understand the current state of play.  It seems that getting a new package into Debian is quite an epic year-long endeavour...

https://github.com/OCamlPro/opam/issues/149

-anil


On 14 May 2013, at 18:40, Richard Mortier <Richard.Mortier@xxxxxxxxxxxxxxxx> wrote:

> looked to me more like it had once been run from a local install in u-l-b and then heidi had installed the .debs which put it in u-b
>
> On 14 May 2013, at 17:17, Anil Madhavapeddy wrote:
>
>> This is a new one on me.  I'm not sure that OPAM can do anything to rebuild the shell cache.  But it's very very weird that invoking OPAM from the shell would work, and then a subshell fails to find the binary that launched it!
>>
>> So, hrm, not sure what we can do to improve this...
>>
>> -anil
>>
>> On 14 May 2013, at 16:51, Heidi Howard <hh360@xxxxxxxxx> wrote:
>>
>>> Fixed, using "hash -r"
>>>
>>> On 14 May 2013 16:21, Heidi Howard <hh360@xxxxxxxxx> wrote:
>>>> I'm trying to install OPAM on Ubuntu 12.04 64-bit using the package
>>>> manager, but I don't understand why its not working, any suggestions ?
>>>>
>>>>
>>>> $ echo "deb [arch=amd64] http://www.recoil.org/~avsm/ wheezy main" >>
>>>> /etc/apt/sources.list
>>>>
>>>> $ sudo apt-get install opam
>>>> Reading package lists... Done
>>>> Building dependency tree
>>>> Reading state information... Done
>>>> The following NEW packages will be installed
>>>> opam
>>>> 0 upgraded, 1 newly installed, 0 to remove and 6 not upgraded.
>>>> Need to get 2,598 kB of archives.
>>>> After this operation, 7,478 kB of additional disk space will be used.
>>>> WARNING: The following packages cannot be authenticated!
>>>> opam
>>>> Install these packages without verification [y/N]? y
>>>> Get:1 http://www.recoil.org/~avsm/ wheezy/main opam amd64 0.9.6 [2,598 kB]
>>>> Fetched 2,598 kB in 0s (9,820 kB/s)
>>>> Selecting previously unselected package opam.
>>>> (Reading database ... 313487 files and directories currently installed.)
>>>> Unpacking opam (from .../archives/opam_0.9.6_amd64.deb) ...
>>>> Processing triggers for man-db ...
>>>> Setting up opam (0.9.6) ...
>>>>
>>>> $ opam init
>>>> bash: /usr/local/bin/opam: No such file or directory
>>>>
>>>>
>>>>
>>>> --
>>>> Regards
>>>> Heidi
>>>
>>>
>>>
>>> --
>>> Regards
>>> Heidi
>>>
>>
>>
>
>
> --
> Cheers,
>
> R.
>
>
>
>
> This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it.   Please do not use, copy or disclose the information contained in this message or in any attachment.  Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham.
>
> This message has been checked for viruses but the contents of an attachment
> may still contain software viruses which could damage your computer system:
> you are advised to perform your own checks. Email communications with the
> University of Nottingham may be monitored as permitted by UK legislation.
>