From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 7 Feb 2015 23:14:07 +0000 (+0100)
Subject: Added "yosys-config --build modname.so cppsources.."
X-Git-Tag: yosys-0.5~18
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bbfc1bd7cf8dfe345a9593fe120648374811b6d3;p=yosys.git

Added "yosys-config --build modname.so cppsources.."
---

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