[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [p2-dev] launching with new SAT4J
|
In the 2_2_2 branch, the version of sat4j.core is not correctly updated,
so sat4j.core 2.2.0 won't be found in the workspace, thus leading to
ClassNotFound exception.
Daniel
Thomas Hallgren a écrit :
> Ah, I thought we should use the 2.2.2 tag and I even updated the psf's
> which then perhaps was a mistake. Can you please put the right thing in
> there?
>
> Thanks,
> - thomas
>
> On 03/07/2010 06:29 PM, Pascal Rapicault wrote:
>> Make sure that you are running with the content from the 2.2.0 branch
>> (and not a tag).
>>
>> On 2010-03-07, at 12:19 PM, Susan Franklin McCourt wrote:
>>
>>> I have been unable to launch any test suites or a workbench with the
>>> new SAT4J in my workspace.
>>> It fails with ClassNotFound on ContradictionException.
>>> If I run it from the target, then it works.
>>>
>>> Not sure what's going on here, but thought I'd share this in case
>>> anyone else was confused...
>>>
>>> susan
>>>
>>> _______________________________________________
>>> p2-dev mailing list
>>> p2-dev@xxxxxxxxxxx <mailto:p2-dev@xxxxxxxxxxx>
>>> https://dev.eclipse.org/mailman/listinfo/p2-dev
>>
>>
>> _______________________________________________
>> p2-dev mailing list
>> p2-dev@xxxxxxxxxxx
>> https://dev.eclipse.org/mailman/listinfo/p2-dev
>>
>
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> p2-dev mailing list
> p2-dev@xxxxxxxxxxx
> https://dev.eclipse.org/mailman/listinfo/p2-dev
--
Daniel Le Berre mailto:leberre@xxxxxxxxxxxxxxxxxxx
MCF, CRIL-CNRS UMR 8188, Universite d'Artois
http://www.cril.univ-artois.fr/~leberre
