MicroTESK

Buildfile: W:\SVN\microtesk\microtesk\build.xml

init.project:

init.properties:

init.buildbase:

get.buildbase:
      [get] Getting: http://forge.ispras.ru/repo/buildbase/distributions/buildbase.zip
      [get] To: W:\SVN\microtesk\microtesk\tools\buildbase\buildbase.zip
      [get] Not modified - so not downloaded
    [unzip] Expanding: W:\SVN\microtesk\microtesk\tools\buildbase\buildbase.zip into W:\SVN\microtesk\microtesk\tools\buildbase

init.ivy:

get.ivy:

setup.ivy:

get.dependencies:
[ivy:resolve] :: Ivy 2.1.0 - 20090925235825 :: http://ant.apache.org/ivy/ ::
[ivy:resolve] :: loading settings :: file = W:\SVN\microtesk\microtesk\ivyconf.xml
[ivy:resolve] :: resolving dependencies :: unitesk#microtesk;working@31638-ой
[ivy:resolve]     confs: [runtime, build]
[ivy:resolve]     found junit#junit;4.11 in forge
[ivy:resolve]     found hamcrest#hamcrest-core;1.3 in forge
[ivy:resolve]     found z3#z3;4.3 in forge
[ivy:resolve]     found cvc4#cvc4;4.1 in forge
[ivy:resolve] downloading http://cvc4.cs.nyu.edu/builds/x86_64-linux-opt/unstable/cvc4-2015-11-18-x86_64-linux-opt ...
[ivy:resolve] :: resolution report :: resolve 102ms :: artifacts dl 4173ms
    ---------------------------------------------------------------------
    |                  |            modules            ||   artifacts   |
    |       conf       | number| search|dwnlded|evicted|| number|dwnlded|
    ---------------------------------------------------------------------
    |      runtime     |   0   |   0   |   0   |   0   ||   0   |   0   |
    |       build      |   4   |   0   |   0   |   0   ||   7   |   0   |
    ---------------------------------------------------------------------
[ivy:resolve] 
[ivy:resolve] :: problems summary ::
[ivy:resolve] :::: WARNINGS
[ivy:resolve]         [FAILED     ] cvc4#cvc4;4.1!cvc4-unix.bin: The HTTP response code for http://cvc4.cs.nyu.edu/builds/x86_64-linux-opt/unstable/cvc4-2015-11-18-x86_64-linux-opt did not indicate a success. See log for more detail. (4158ms)
[ivy:resolve]         [FAILED     ] cvc4#cvc4;4.1!cvc4-unix.bin: The HTTP response code for http://cvc4.cs.nyu.edu/builds/x86_64-linux-opt/unstable/cvc4-2015-11-18-x86_64-linux-opt did not indicate a success. See log for more detail. (4158ms)
[ivy:resolve]     ==== forge: tried
[ivy:resolve]       http://forge.ispras.ru/repo/cvc4/bins/cvc4-unix-4.1.bin
[ivy:resolve]       http://cvc4.cs.nyu.edu/builds/x86_64-linux-opt/unstable/cvc4-2015-11-18-x86_64-linux-opt
[ivy:resolve]         ::::::::::::::::::::::::::::::::::::::::::::::
[ivy:resolve]         ::              FAILED DOWNLOADS            ::
[ivy:resolve]         :: ^ see resolution messages for details  ^ ::
[ivy:resolve]         ::::::::::::::::::::::::::::::::::::::::::::::
[ivy:resolve]         :: cvc4#cvc4;4.1!cvc4-unix.bin
[ivy:resolve]         ::::::::::::::::::::::::::::::::::::::::::::::
[ivy:resolve] 
[ivy:resolve] 
[ivy:resolve] :: USE VERBOSE OR DEBUG MESSAGE LEVEL FOR MORE DETAILS