antコマンドを、通常のunixコマンドへの書き下し方法をご教授下さい。

テストケースを実行しようとしているところまで来てるっぽいので、この辺りのことは突破されたのだとは思いますが、

これに関してはunixに書き下す方法はネットにはないかと思われる

antコマンドを、通常のunixコマンドへの書き下し方法をご教授下さい。an... - Yahoo!知恵袋

某チエリアンが、面白いことを書いてたのを見てしまったので、ネット初の書き込みを　:-p
＃ んな、こたあない


112行目からの targert cvc3 は、こんな感じです。

$ (cd ../cvc3 ; /usr/bin/make)
$ cp ../cvc3/java/lib/libcvc3-3.0.0.jar ./lib

もしくは、こう。

$ pushd ../cvc3
$ /usr/bin/make
$ popd
$ cp ../cvc3/java/lib/libcvc3-3.0.0.jar ./lib

きっと、make にはパスが通ってるので、/usr/bin/make じゃなく、make でも OK 。


119行目からの target compile-tests は、こんな感じになります。

$ mkdir ./build/test
$ CLASSPATH="./lib/junit-4.8.2.jar:./lib/js-symbolic-executor.jar: ..."
$ export CLASSPATH
$ javac -d ./build/test `find ./src -name "*.java"`

CLASSPATH は長いので、端折りました。コロン ":" で、jar ファイルやディレクトリを区切ります。


126行目からの target test は、コマンドラインからではちょっと厳しいので、bash のスクリプトで、こんな感じになると思います。

LD_LIBRARY_PATH="../cvc3/java/lib:../cvc3/lib"
export LD_LIBRARY_PATH

CLASSPATH="./lib/junit-4.8.2.jar:./lib/js-symbolic-executor.jar: ..."
export CLASSPATH

list=`(cd ./build/test ; find . -type f -name "*Test.class" -print) | sed -e 's,^./,,' -e 's/\.class$//' -e "s,/,\.,g" -e '/\.RhinoTest$/d' -e '/\.Cvc3Test$/d'`

for t in $list
do
    java org.junit.runner.JUnitCore $t
done

こちらも CLASSPATH を端折ってます。
因みに、JUnit を起動するやつは、ant の junit タスクと、全く同じにはなりません。



js-symbolic-executor をビルドする build.xml ですが、CVC3 のライブラリをビルドするところ以外は、Ant のレベルでは Windows でもいけそうな気がします。
ただ、つまづきそうなのは CVC3 が、基本的に C++ のライブラリだということ。
java の API も用意されていますが、C++ のライブラリを呼び出しているだけで、JNI というインターフェースに乗っかってます。
JNI は、動的リンクライブラリを要求するのですが、Windows と Unix 系ではフォーマットが違います。
CVC3 の Makefile を斜め読みした感じだと、cygwin の対応はしてるっぽいですが、Windows 用の DLL を作るようにはなっていないと思います。

http://www.cs.nyu.edu/acsys/cvc3/download.html
↑は、CVC3 のダウンロードのページですが、Windows 版のバイナリが配布されていますけれども、ライブラリは静的ライブラリしか入っておらず、ファイルの末尾が .a なので、cygwin 用だと思います。
なので、Windows の java では、多分、動かすことができません。

そもそも、JNI を cygwin の gcc でビルドできるかどうかも、怪しいもんです。



多分、Linux の何かを導入して、試されているのだとは思いますので、参考程度で　:-)