[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