[vmchecker-request] Documentatie configurare masina virtuala vmchecker

[Razvan Deaconescu]

Sergiu Weisz <sergiu121 at gmail.com> writes:
> On 19.03.2017 23:11, Razvan Deaconescu wrote:
>> Sergiu Weisz <sergiu121 at gmail.com> writes:
>>> On 09.03.2017 00:32, Sergiu Weisz wrote:
>>>> On 03/02/2017 10:07 PM, Razvan Deaconescu wrote:
>>>>> Sergiu Weisz <sergiu121 at gmail.com> writes:
>>>>>> Salut,
>>>>>>
>>>>>> Exista vreo documentatie care sa ma ajute sa configurez masina
>>>>>> virtuala pentru a o pune pe platforma pentru testarea temelor la PP pe
>>>>>> vmchecker ?
>>>>>
>>>>> Documentația de vmchecker e aici[1]. De configurarea mașinii virtuale ne
>>>>> ocupăm noi. Ce anume ai nevoie? Ce ai până în momentul de față?
>>>>
>>>> Ai uitat sa pui link-ul documentatiei.
>>
>> https://github.com/rosedu/vmchecker/blob/master/README.rst
>> https://github.com/rosedu/vmchecker/wiki
>>
>>>> Pana in momentul de fata am o masina virtuala vmware (Ubuntu 16.10) cu ant, haskell, java si swi-prolog pe ea.
>>>>
>>>> Imi cer scuze de intarziere, au mai intervenit niste lucruri.
>>
>>> Aici [1] e link-ul catre masina
>>>
>>> [1] https://www.dropbox.com/s/j1ummy6cpc1nme9/Ubuntu%2064-bit.tar.gz?dl=0
>>
>> Ai făcut vreun config până acum? Că văd că în contul pp at elf.cs.pub.ro nu
>> există director de tip storer pentru vmechecker pentru anul 2017.
>>
>> E vorba de pp at elf.cs.pub.ro, nu de pp-cb at elf.cs.pub.ro, da?
>
> Nu am facut niciun config pana acum.
>
> Este vorba de pp-cb.

Fac eu acum configurația. Să trimiți, te rugăm, astfel de e-mail-uri la
adresa vmchecker-request at cursuri.cs.pub.ro.

Revin când e totul gata.

Răzvan