Hi Tauists, for those who want to start playing with the Tau Language REPL, right now you need to have Linux OS. Later I will make a video and write the link for you to watch the step-by-step tutorial how to run Tau REPL in Windows using Ubuntu under Virtual Machine. In the future development, Tau REPL can also run on different OS.
To install Tau REPL
1.) git clone https://github.com/IDNI/tau-lang.git
2.) cd tau-lang
3.) ./release.sh
To run Tau REPL
1.) cd build-Release
2.) ./tau
To quit Tau REPL
1.) type q
To see your current version
1.) type v
the current version as I made this was 9ddbda6
To start playing the Tau Language Demos
1.) cd tau-lang/demos # go to Tau demo folder
2.) dir # see the files you want to run
3.) ./run.sh <demo_name> # this is to run the demo
4.) type any key # the demo will run step by step
To update Tau REPL
1.) git pull
2.) ./release.sh
Thank you!
Hi guys, there are new updates and changes.
Right now, it's easier to install Tau REPL. I made a short video for you.
https://www.youtube.com/watch?v=IKEx4YTpu_s&list=PLeBSjZu0y6vW6Mg_iO2FivR-kwAHSAZvE&index=77
This video is for educational purposes.
I hope it helps. Thanks! :)
Right now, the Tau dev is fixing some bugs. You can help if you find some bugs, you can post it on this link https://github.com/IDNI/tau-lang/issues for the devs to see and check and fix.
OS: Linux Ubuntu 22.04.4 amd64
1.) wget https://github.com/IDNI/tau-lang/releases/download/v0.7-alpha/tau-0.7-Linux.deb
2.) sudo dpkg -i tau-0.7-Linux.deb
3.) tau
OS: Windows 11
1.) go to github https://github.com/IDNI/tau-lang
2.) Click Windows Installer to download
3.) Run the tau app
To get the latest update, go to our Telegram group channel. https://t.me/tauchain
Thanks for one of the suggestion of our community member in our Tau Dev Chat in telegram <ptt kk> I am no able to run the release.sh
Before I had a problem running it but I think its because of this code that's why I was able to run it.
I'm not sure if this help or there are updates made. What's important is its now working.
In Linux Ubuntu, type in
sudo apt install build-essential
# this is to make sure I am not missing any sth basic in my VM
Next is this, type in
sudo apt install libboost-all-dev build-essential
Then I type in,
To update Tau REPL
1.) git pull
2.) ./release.sh
To install Tau REPL
1.) cd tau-lang
3.) ./release.sh
To run Tau REPL
1.) cd tau-lang/build-Release
2.) ./tau
Hi guys, after for some weeks day off, I try to play again with the Tau REPL. I need to update it but some problem emerge. Now I delete the whole Tau folder. Then download again from the github website.
Now, I repeat the process I know on how to start by
1.) git clone https://github.com/IDNI/tau-lang.git
2.) cd tau-lang
3.) ./release.sh
but after, some error emerge, something to do with Z3-NOTFOUND
any idea how to get over this problem?
Thanks for l0g1x who gave me the idea how to work this out.
sudo apt-get update
sudo apt-get install libz3-dev
in this way we can install the z3.
Thanks l0g1x.