[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Discuss-gnuradio] xtclsh not found
From: |
Josh Blum |
Subject: |
Re: [Discuss-gnuradio] xtclsh not found |
Date: |
Sat, 18 Dec 2010 00:25:34 -0800 |
User-agent: |
Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.13) Gecko/20101208 Lightning/1.0b2 Thunderbird/3.1.7 |
On 12/17/2010 10:55 PM, anirudh2059. wrote:
>
> Hi,
>
> When I try to make the Makefile, i get an error in the console saying that
> xtclsh not found. Where can i get this file?
It comes with Xilinx ISE.
I usually setup by my .bashrc like this:
#XILINX_ROOT=/opt/Xilinx/10.1
XILINX_ROOT=/opt/Xilinx/12.1/ISE_DS
export PATH=${XILINX_ROOT}/ISE/bin/lin64:${PATH}
export PATH=${XILINX_ROOT}/EDK/gnu/microblaze/lin64/bin:${PATH}
-Josh