wget-tcc-run

[gmhwxi]

Assume you have ATS2 installed and PATSHOME ad PATSHOMERELOC are properly set.

If you have 'wget', 'tcc' and gtk+-3.0, then the following long command-line should work for you:

wget -q -O - http://www.cs.bu.edu/~hwxi/academic/courses/CS320/Spring14/code/lecture-03-20/QueenPuzzle-depth-all_dats.c | tcc -run -DATS_MEMALLOC_LIBC -I${PATSHOME} -I${PATSHOME}/ccomp/runtime -I${PATSHOMERELOC}/contrib `pkg-config gtk+-3.0 --cflags --libs` - >& /dev/null

It is some sort of animation I made for my PL class.

I tried it on Linux and it worked fine. Not sure if it works on MacOS.

[gmhwxi]

I moved the C code to another place:

wget -q -O - http://www.ats-lang.org/TEMPATS/GTK/Algorianim/QueenPuzzle/QueenPuzzle-depth-all_dats.c | tcc -run -DATS_MEMALLOC_LIBC -I${PATSHOME} -I${PATSHOME}/ccomp/runtime -I${PATSHOMERELOC}/contrib `pkg-config gtk+-3.0 --cflags --libs` - >& /dev/null

[gmhwxi]

See the following post for the update:

https://groups.google.com/forum/?fromgroups#!topic/ats-lang-users/UManMEpmH_Q