diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-02-08 00:14:07 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-02-08 00:14:07 +0100 |
| commit | bbfc1bd7cf8dfe345a9593fe120648374811b6d3 (patch) | |
| tree | 963664d1d4f52dd5c562288a7825d19326215407 | |
| parent | 05d4223fb675ee063ded20cf24eb922c4570634a (diff) | |
| download | yosys-bbfc1bd7cf8dfe345a9593fe120648374811b6d3.tar.gz yosys-bbfc1bd7cf8dfe345a9593fe120648374811b6d3.tar.bz2 yosys-bbfc1bd7cf8dfe345a9593fe120648374811b6d3.zip | |
Added "yosys-config --build modname.so cppsources.."
| -rw-r--r-- | misc/yosys-config.in | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/misc/yosys-config.in b/misc/yosys-config.in index 8f8dd06c6..defb09ce7 100644 --- a/misc/yosys-config.in +++ b/misc/yosys-config.in @@ -3,7 +3,8 @@ help() { { echo "" - echo "Usage: $0 [-exec] [--prefix pf] args.." + echo "Usage: $0 [--exec] [--prefix pf] args.." + echo " $0 --build modname.so cppsources.." echo "" echo "Replecement args:" echo " --cxx @CXX@" @@ -15,10 +16,14 @@ help() { echo "" echo "All other args are passed trhough as they are." echo "" - echo "Use -exec to call a command instead of generating output. Example usage:" + echo "Use --exec to call a command instead of generating output. Example usage:" echo "" echo " yosys-config --exec --cxx --cxxflags --ldflags -o plugin.so -shared plugin.cc --ldlibs" echo "" + echo "The above command can be abbreviated as:" + echo "" + echo " yosys-config --build plugin.so plugin.cc" + echo "" echo "Use --prefix to change the prefix for the special args from '--' to" echo "something else. Example:" echo "" @@ -37,6 +42,11 @@ if [ $# -eq 0 ]; then help fi +if [ "$1" == "--build" ]; then + modname="$2"; shift 2 + set -- --exec --cxx --cxxflags --ldflags -o "$modname" -shared "$@" --ldlibs +fi + prefix="--" get_prefix=false exec_mode=false |