search

rgrig / freeboogie

Automatically exported from code.google.com/p/freeboogie
0 stars 0 forks source link

ant warnings #65

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Right now I get 

compile:
    [mkdir] Created dir: /homes/rgrig/research/code/fb/FreeBoogie/classes
    [javac] Compiling 122 source files to /homes/rgrig/research/code/fb/FreeBoogie/classes
    [javac] warning: [path] bad path element "/usr/share/java/xercesImpl.jar": no such file or directory
    [javac] warning: [path] bad path element "/usr/share/java/xml-apis.jar": no such file or directory
    [javac] 2 warnings

Make sure these go away. In general, a checkout folowed by "ant" should give no 
warning.

Original issue reported on code.google.com by radugrig...@gmail.com on 12 Nov 2010 at 4:20