pax_global_header00006660000000000000000000000064131351145750014517gustar00rootroot0000000000000052 comment=88fa6f57be4b520e2a01dd476d249e91ba7f262e urweb-20170720+dfsg/000077500000000000000000000000001313511457500140265ustar00rootroot00000000000000urweb-20170720+dfsg/.gitignore000066400000000000000000000011721313511457500160170ustar00rootroot00000000000000*~ .cm src/.cm bin/* src/urweb.cm src/urweb.mlb *.lex.* *.grm.* *.o .deps .libs *.lo *.la *.mlton.grm *.mlton.lex src/config.sml *.exe *.cache *.log *.status demo/out/*.html demo/demo.* demo/more/out/*.html demo/more/demo.* doc/*.html doc/*.out *.sql *mlmon.out *.aux *.dvi *.pdf *.ps *.toc .depend Makefile.coq *.vo *.v.d *.glob xml/parse xml/entities.sml Makefile.in src/c/Makefile.in ar-lib *.m4 m4/libtool.m4 m4/lt*.m4 config.* configure depcomp compile install-sh ltmain.sh missing tests/*.db syntax: regexp Makefile src/c/Makefile libtool include/urweb/config.h include/urweb/config.h.in include/urweb/stamp-h1 urweb-20170720+dfsg/.mailmap000066400000000000000000000000451313511457500154460ustar00rootroot00000000000000 urweb-20170720+dfsg/.travis.yml000066400000000000000000000015621313511457500161430ustar00rootroot00000000000000language: c os: - linux - osx compiler: - clang - gcc # when https://github.com/travis-ci/apt-package-whitelist/issues/792 is closed, use the container-based infrastructure #sudo: false #addons: # apt: # packages: # - mlton before_install: - export CONFIGURE_ARGS="" - if command -v apt-get &>/dev/null; then sudo apt-get update -qq; fi - if command -v apt-get &>/dev/null; then sudo apt-get install -y mlton; fi - if command -v brew &>/dev/null; then brew update; fi - if command -v brew &>/dev/null; then brew uninstall libtool; fi - if command -v brew &>/dev/null; then brew install libtool; fi - if command -v brew &>/dev/null; then brew install openssl mlton; fi - if command -v brew &>/dev/null; then export CONFIGURE_ARGS="--with-openssl=/usr/local/opt/openssl"; fi script: ./autogen.sh && ./configure $CONFIGURE_ARGS && make && make test urweb-20170720+dfsg/CHANGELOG000066400000000000000000000537761313511457500152620ustar00rootroot00000000000000======== 20170720 ======== - New .urp directive: 'jsModule' - New compiler command-line option: '-js' - New HTML attribute for