Thanks for your response:
after running source ./emsdk_env.sh in the emsdk folder I get:
Adding directories to PATH:
PATH += /home/david/WebDev/emsdk
PATH += /home/david/WebDev/emsdk/upstream/emscripten
PATH += /home/david/WebDev/emsdk/node/14.15.5_64bit/bin
Setting environment variables:
PATH = /home/david/WebDev/emsdk:/home/david/WebDev/emsdk/upstream/emscripten:/home/david/WebDev/emsdk/node/14.15.5_64bit/bin:/home/david/gopath:/home/david/gopath/bin:/home/david/anaconda3/bin:/home/david/anaconda3/condabin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games:/snap/bin
EMSDK = /home/david/WebDev/emsdk
EM_CONFIG = /home/david/WebDev/emsdk/.emscripten
EMSDK_NODE = /home/david/WebDev/emsdk/node/14.15.5_64bit/bin/node
Then, the which emcc command returns the correct location of the binary:
/home/david/WebDev/emsdk/upstream/emscripten/emcc
Also, the `upstream/emscripten` directory exists within `emsdk` and contains the binary emcc
It appears that the emsdk_env.sh script is not setting the paths globally. I opened a different terminal and the command which emcc replied with an empty line, the installation appears to be OK.
You have pointed me in the right direction. I will figure how to set the environment globally.