mirror of https://github.com/XS-MLVP/picker.git
20 lines
729 B
Bash
Executable File
20 lines
729 B
Bash
Executable File
#!/bin/bash
|
|
|
|
rm -rf picker_out_rmg/
|
|
|
|
./build/bin/picker export example/RandomGenerator/RandomGenerator.v --autobuild false -w RandomGenerator.fst $@ --tdir picker_out_rmg
|
|
# if python in $@, then it will generate python binding
|
|
if [[ $@ == *"python"* ]]; then
|
|
cp example/RandomGenerator/example.py picker_out_rmg/python/
|
|
elif [[ $@ == *"java"* ]]; then
|
|
cp example/RandomGenerator/example.java picker_out_rmg/java/
|
|
elif [[ $@ == *"scala"* ]]; then
|
|
cp example/RandomGenerator/example.scala picker_out_rmg/scala/
|
|
elif [[ $@ == *"golang"* ]]; then
|
|
cp example/RandomGenerator/example.go picker_out_rmg/golang/
|
|
else
|
|
cp example/RandomGenerator/example.cpp picker_out_rmg/cpp/
|
|
fi
|
|
|
|
cd picker_out_rmg && make EXAMPLE=ON
|