[petsc-users] When pull the petsc-dev for update:Connection timed out
Zhenglun (Alan) Wei
zhenglun.wei at gmail.com
Sun Nov 25 18:25:30 CST 2012
> On Mon, Nov 26, 2012 at 12:59 AM, Zhenglun (Alan) Wei
> <zhenglun.wei at gmail.com <mailto:zhenglun.wei at gmail.com>> wrote:
>
> Dear Sean,
> Thank you so much for your help. Here I have another question.
> After updating the PETSc, I tried to 'make ex45' in
> /src/ksp/ksp/example/tutorial/. It says that 'petscksp.h' can not
> be found; therefore, I commented this library in ex45.c to see
> what will happen. It, then, shows that the 'petscdmmg.h' can not
> be found. Any idea on this? :)
>
>
> Since DMMG is gone, baby gone, this means your environment (PETSC_DIR)
> is still pointing to an old version of PETSc.
Since my PETSc was updated, the PETSC_DIR of the new version of
the PETSc should be the same as the old version of the PETSc, isn't it?
BTW, it works after I re-configure and make the PETSc. However, I
found that it as a lot of dummy things in the ex45.c, i.e.:
<<<<<<<<<<local
========
>>>>>>>>>other
=========
It seems that the update changes the original program of ex45.c by
adding fractions of the new code into the old code. It confused me a
lot. Is there any way that I can just replace the old code by the new code?
thanks,
Alan
>
> thanks,
> Alan
>
> On Sun, Nov 25, 2012 at 4:16 PM, Zhenglun (Alan) Wei
> <zhenglun.wei at gmail.com <mailto:zhenglun.wei at gmail.com>> wrote:
>
> Thank you Sean,
> I changed the
>
>
> $ cd config/buildsystem
> $ hg showconfig paths.default
> to
> https://bitbucket.org/petsc/buildsystem
>
> It gives me 2 extra changes.
>
> Great! Glad to know it's working.
>
> Although, it always giev me the warning of
> 'certificate not verified',
> it updated lots of files. Should I just ignore this warning?
>
> You could ignore those warnings, yes, but it would probably be
> better
> to upgrade your mercurial and see if the host fingerprint option
> works. Or you could try to use the ssh protocol, assuming your
> university proxy allows ssh out.
>
> BTW, the reason I used 'https' instead of 'http' is
> that 'https' is shown
> in the website you gave to me. :) It may needs to be changed.
>
> Well, as I said previously, bitbucket redirects all http
> traffic to
> https, so I don't think changing it to just http would really
> work.
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-users/attachments/20121125/e278c422/attachment.html>
More information about the petsc-users
mailing list