Grünewald Michaël

Dear list,

I own a radeon HD5450 and I would like to know how well it is supported
by freeBSD 9, in partocular DRI and 3D accelaeration.

I have a fresh 9.0/amd64 on my machine and Xorg fails to initialise the
DRI.  It says (from Xorg-0.log):

(II) AIGLX: Screen 0 is not DRI2 capable
(II) AIGLX: Screen 0 is not DRI capable
(II) AIGLX: Loaded and initialized /usr/local/lib/dri/swrast_dri.so
(II) GLX: Initialized DRISWRAST GL provider for screen 0
(II) RADEON(0): Setting screen physical size to 338 x 270

As the last line of the snippet displays it, I use radeon(4x) as driver.

I used the page

    http://people.freebsd.org/~anholt/dri/troubleshooting.html

to try to diagnose the problem and it seems that none of the driver agp
radeondrm and drm is able to initaialize correctly.

Can you enable DRI for HD5450 on FreeBSD 9.0 ?
Do you have some useful documentation to show me?

In any of these cases, I would say ``thanks!''
--
Best regards,
Michael

Dear list,

I am trying to use destructive substitution to remove a type alias in an
inclusion. Some module XArray has the following signature:

XArray: sig
  type 'a xarray
  type 'a t
end

and I would like to remove the 'a t in the resulting signature. I thought

include (XArray : module type of XArray
   with 'a t := 'a XArray.xarray
)

would do, but it would not:

Error: In this `with' constraint, the new definition of t
        does not match its original definition in the constrained signature:
        Type declarations do not match:
          type 'a t = 'a XArray.xarray
        is not included in
          type 'a t = 'a xarray

Honestly, I do not really understand why the substitution can not
happen, despite my careful reading of the documentation.  Any
suggestions are welcome!
--
Michael

--
Caml-list mailing list.  Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list:  http://groups.yahoo.com/group/ocaml_beginners
Bug reports:  http://caml.inria.fr/bin/caml-bugs

Read more »

Hi all,

I have recently discovered that by subversion client (1.16_2) is not
able any more to access my subversion accounts over svn+ssh (with key
based authentication).  It seems very odd to me, because in the same
time git can access these accounts (with the git svn command) and commit
to these repositories!

I am here absolutely clueless, so I would welcome your insights and your
help!

I set up `SVN_SSH' to `ssh -vv' in order to get a little more feedback
than the `connexion unexpectedly closed' that subversion gave me.  Here
is an exceirpt of the successful svn+ssh authentication achieved by git svn:

debug1: SSH2_MSG_SERVICE_ACCEPT received
debug2: key: /home/michael/.ssh/id_rsa (0x801a61680)
debug2: key: /home/michael/.ssh/id_dsa (0x0)
debug1: Authentications that can continue: publickey
debug1: Next authentication method: publickey
debug1: Offering public key: /home/michael/.ssh/id_rsa
debug2: we sent a publickey packet, wait for reply
debug1: Server accepts key: pkalg ssh-rsa blen 277

on the pure svn side I have instead

debug1: SSH2_MSG_SERVICE_ACCEPT received
debug2: key: /home/michael/.ssh/id_rsa (0x801a61660)
debug2: key: /home/michael/.ssh/id_dsa (0x0)
debug1: Authentications that can continue: publickey
debug1: Next authentication method: publickey
debug1: Offering public key: /home/michael/.ssh/id_rsa
debug2: we sent a publickey packet, wait for reply
debug1: Authentications that can continue: publickey
debug1: Trying private key: /home/michael/.ssh/id_dsa
debug2: we did not send a packet, disable method

(this is the point were the two transcripts start to disagree).  I do
not know what is the hex value after the name of the file containing my
private key, but it semms weird to me that the two runs give here
different results!  Do you see a symptom related to my problem?
--
Thanks a lot,
Michael

Read more »