githwxi/ATS-Postiats — pull request #104 by master-q (2014-12-14 13:26:28+00:00)
Title: Do CI more EFFECTIVATS articles

I think some EFFECTIVATS articles needs pats2xhtml command.
However, I can't build it....

```
$ pwd
/home/kiwamu/src/ATS-Postiats/utils/atsynmark
$ make
--snip--
gcc -I/home/kiwamu/src/ats-lang-anairiats-0.2.11/ccomp/runtime/ -I/home/kiwamu/src/ats-lang-anairiats-0.2.11/ -I /home/kiwamu/src/ATS-Postiats/src -c pats2xhtml_sats.c
"/home/kiwamu/src/ats-lang-anairiats-0.2.11"/bin/atscc -I "/home/kiwamu/src/ATS-Postiats"/src -IATS "/home/kiwamu/src/ATS-Postiats" -IATS "/home/kiwamu/src/ats-lang-anairiats-0.2.11" -c DATS/pats2xhtml_level1.dats
/home/kiwamu/src/ats-lang-anairiats-0.2.11/bin/atsopt -IATS /home/kiwamu/src/ATS-Postiats -IATS /home/kiwamu/src/ats-lang-anairiats-0.2.11 --output pats2xhtml_level1_dats.c --dynamic DATS/pats2xhtml_level1.dats
gcc -I/home/kiwamu/src/ats-lang-anairiats-0.2.11/ccomp/runtime/ -I/home/kiwamu/src/ats-lang-anairiats-0.2.11/ -I /home/kiwamu/src/ATS-Postiats/src -c pats2xhtml_level1_dats.c
\
"/home/kiwamu/src/ats-lang-anairiats-0.2.11"/bin/atscc -O2 -I "/home/kiwamu/src/ATS-Postiats"/src -IATS "/home/kiwamu/src/ATS-Postiats" -IATS "/home/kiwamu/src/ats-lang-anairiats-0.2.11" -o pats2xhtml DATS/pats2xhtml_main.dats pats_utils_sats.o pats_utils_dats.o pats_global_sats.o pats_global_dats.o pats_errmsg_sats.o pats_errmsg_dats.o pats_comarg_sats.o pats_comarg_dats.o pats_symbol_dats.o pats_filename_dats.o pats_intinf_sats.o pats_effect_sats.o pats_effect_dats.o pats_symmap_sats.o pats_symmap_dats.o pats_symenv_sats.o pats_symenv_dats.o pats_staexp1_sats.o pats_staexp1_dats.o pats_dynexp1_sats.o pats_trans1_sats.o pats_trans1_env_sats.o pats_trans1_env_dats.o pats_trans1_error_dats.o pats_trans1_e0xp_dats.o pats2xhtml_sats.o pats2xhtml_level1_dats.o -L /home/kiwamu/src/ATS-Postiats/libatsynmark -latsynmark -lgmp
/home/kiwamu/src/ats-lang-anairiats-0.2.11/bin/atsopt -IATS /home/kiwamu/src/ATS-Postiats -IATS /home/kiwamu/src/ats-lang-anairiats-0.2.11 --output pats2xhtml_main_dats.c --dynamic DATS/pats2xhtml_main.dats
gcc -I/home/kiwamu/src/ats-lang-anairiats-0.2.11/ -I/home/kiwamu/src/ats-lang-anairiats-0.2.11/ccomp/runtime/ -L/home/kiwamu/src/ats-lang-anairiats-0.2.11/ccomp/lib64/ /home/kiwamu/src/ats-lang-anairiats-0.2.11/ccomp/runtime/ats_prelude.c -O2 -I /home/kiwamu/src/ATS-Postiats/src -o pats2xhtml pats2xhtml_main_dats.c pats_utils_sats.o pats_utils_dats.o pats_global_sats.o pats_global_dats.o pats_errmsg_sats.o pats_errmsg_dats.o pats_comarg_sats.o pats_comarg_dats.o pats_symbol_dats.o pats_filename_dats.o pats_intinf_sats.o pats_effect_sats.o pats_effect_dats.o pats_symmap_sats.o pats_symmap_dats.o pats_symenv_sats.o pats_symenv_dats.o pats_staexp1_sats.o pats_staexp1_dats.o pats_dynexp1_sats.o pats_trans1_sats.o pats_trans1_env_sats.o pats_trans1_env_dats.o pats_trans1_error_dats.o pats_trans1_e0xp_dats.o pats2xhtml_sats.o pats2xhtml_level1_dats.o -L /home/kiwamu/src/ATS-Postiats/libatsynmark -latsynmark -lgmp -lats
/usr/bin/ld: cannot find -latsynmark
collect2: error: ld returned 1 exit status
Exit: [gcc] failed.
```