diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2020-04-10 10:38:40 +0200 | 
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2020-04-10 10:38:40 +0200 | 
| commit | 0d789c5a3b66e26a9a354ecce85a47836a242e97 (patch) | |
| tree | 213d36ddbe5901ae8de2d22de2df193c87cf9fe0 /misc | |
| parent | 7c06cb615745fce4490c1d5b9dcf48d40fa00445 (diff) | |
| download | yosys-0d789c5a3b66e26a9a354ecce85a47836a242e97.tar.gz yosys-0d789c5a3b66e26a9a354ecce85a47836a242e97.tar.bz2 yosys-0d789c5a3b66e26a9a354ecce85a47836a242e97.zip  | |
Support custom PROGRAM_PREFIX
Diffstat (limited to 'misc')
| -rw-r--r-- | misc/yosys-config.in | 8 | 
1 files changed, 4 insertions, 4 deletions
diff --git a/misc/yosys-config.in b/misc/yosys-config.in index 1473948cf..370835f8f 100644 --- a/misc/yosys-config.in +++ b/misc/yosys-config.in @@ -18,21 +18,21 @@ help() {  		echo ""  		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 "  $0 --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 "  $0 --build plugin.so plugin.cc"  		echo ""  		echo "Use --prefix to change the prefix for the special args from '--' to"  		echo "something else. Example:"  		echo "" -		echo "  yosys-config --prefix @ bindir: @bindir" +		echo "  $0 --prefix @ bindir: @bindir"  		echo ""  		echo "The args --bindir and --datdir can be directly followed by a slash and"  		echo "additional text. Example:"  		echo "" -		echo "  yosys-config --datdir/simlib.v" +		echo "  $0 --datdir/simlib.v"  		echo ""  	} >&2  	exit 1  | 
