On Fri, Oct 04, 2002 at 10:14:12AM +0200, Stefano Zacchiroli wrote: > On Fri, Oct 04, 2002 at 08:04:43AM +0200, Sven LUTHER wrote: > > So ideally, we name hevea the bytecode one, and hevea-native or > > hevea-optimized or whatever, the native code one when it is available. > > <i_know_this_does_not_solve_the_arch_all_any_problem_but___> > > Does hevea really needs a native executable? > Why we couldn't have only the bytecode version arch:all? > > </i_know_this_does_not_solve_the_arch_all_any_problem_but___>
Well, ok, but i am searching for a generalized solution, which we can write in the policy. Because advi or coq most definitely need the native code version if it is available, but there is no real sense to keep 6 copies of the exact same coq bytecode code in the archive, is it ? Friendly, Sven Luther
