From: Olivier A. <ol...@us...> - 2002-07-12 13:28:27
|
J=E9r=F4me Marant [Thursday 11 July 2002] : > > jm...@ne... (J=E9r=F4me Marant) writes: >=20 > > Hello, > > > > ocamlopt is not available on all architectures, so it > > should be optional. > > > > Here is a small (tested) patch for working this around. >=20 > Hmm, another one improved with installation support. OK, I'll commit it. (ah, ces debianneux qui veulent toujours compiler leurs programmes sur des architectures compl=E8tement improbables !) Olivier |