AnswerBun.com

Error: tcl.h not found (no such file or directory)

Ask Ubuntu Asked by Goncalo on December 11, 2020

I’m trying to install something using the ‘make’ command, however it gives me the fatal error:tcl.h no such file or directory. I’m new to linux, can anyone help me?

2 Answers

Once you have a Tcl dev package installed, you'll then possibly come across the code expecting tcl.h to be in /usr/include/, but in order to facilitate multiple versions of Tcl being installed, Ubuntu places tcl.h in /usr/include/tcl/ - note the extra directory level.

Replacing: #include <tcl.h> with #include <tcl/tcl.h> in the source code you're trying to build should get around this.

Answered by Jonathan Sambrook on December 11, 2020

This means you're missing the tcl development files. The easiest way to check is to go to: http://packages.ubuntu.com/ and put "tcl.h" in the "search contents of packages" field. If you do this you'll find that tcl.h can be found in a number of packages you'll want to install one of those:

sudo apt-get install tcl8.6-dev

Answered by labarna on December 11, 2020

Add your own answers!

Related Questions

Ubuntu 20.04: Connect your online accounts

0  Asked on December 27, 2021 by wazil

 

xubuntu 18.04 vs 20.04: same font displayed differently

1  Asked on December 27, 2021 by straycoders

       

How to change kernel version in ubuntu?

1  Asked on December 27, 2021 by ajay-bodara

 

win 10 + Ubuntu 18.04 -> Lubuntu 20.04

1  Asked on December 27, 2021 by hibi_scrub

 

Could not connect to cran.stat.ucla.edu:80

1  Asked on December 27, 2021

   

transfering data from one cluster to another

1  Asked on December 27, 2021

   

Change critical battery level in ubuntu 20?

0  Asked on December 25, 2021 by abhishek-sharma

   

How to access my codeigniter folder in ubuntu?

2  Asked on December 25, 2021 by upendra-sharma

       

“System bootorder not found” after installation

2  Asked on December 25, 2021 by koppny-kovcs

     

HP EliteBook 8570p Ubuntu grub is not launched

1  Asked on December 25, 2021 by neven-v

       

Ubuntu 20.04 – No sound

11  Asked on December 25, 2021 by wkpro

       

Ask a Question

Get help from others!

© 2022 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, MenuIva, UKBizDB, Menu Kuliner, Sharing RPP