# HG changeset patch # User Adam Chlipala # Date 1438178883 14400 # Node ID 728aaeea12fdcc5d7849ba61c5cc27978df86fa7 # Parent 598a5f781d3996ed91de92d51292d52df74409d6 Add a simple 'make test' target diff -r 598a5f781d39 -r 728aaeea12fd Makefile.am --- a/Makefile.am Thu May 07 16:12:06 2015 -0400 +++ b/Makefile.am Wed Jul 29 10:08:03 2015 -0400 @@ -15,7 +15,7 @@ SUBDIRS = src/c -.PHONY: smlnj mlton package reauto +.PHONY: smlnj mlton package reauto test smlnj: src/urweb.cm xml/entities.sml mlton: bin/urweb @@ -114,3 +114,17 @@ EXTRA_DIST = demo doc lib/js lib/ur xml \ src/coq src/*.sig src/*.sml src/*.mlb src/config.sml.in src/elisp src/*.cm src/sources src/*.grm src/*.lex \ CHANGELOG LICENSE urweb.ebuild include/urweb/*.h bin + +TESTDB = /tmp/urweb.db +TESTPID = /tmp/urweb.pid + +test: + urweb -dbms sqlite -db $(TESTDB) -demo /Demo demo + rm -f $(TESTDB) + sqlite3 $(TESTDB) < demo/demo.sql + demo/demo.exe & echo $$! > $(TESTPID) + sleep 1 + (curl -s 'http://localhost:8080/Demo/Hello/main' | diff tests/hello.html -) || (kill `cat $(TESTPID)`; echo "Test 'Hello' failed"; /bin/false) + (curl -s 'http://localhost:8080/Demo/Crud1/create?A=1&B=2&C=3&D=4' | diff tests/crud1.html -) || (kill `cat $(TESTPID)`; echo "Test 'Crud1' failed"; /bin/false) + kill `cat $(TESTPID)` + echo Tests succeeded. diff -r 598a5f781d39 -r 728aaeea12fd tests/crud1.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/crud1.html Wed Jul 29 10:08:03 2015 -0400 @@ -0,0 +1,38 @@ + + + +

Inserted with ID 1.

+ + + + + + + + + + + + + + + + + + + +
IDABCD
1123True +[Update] +[Delete] +
+

+ +
+
  • A:
    • +
  • B:
    • +
  • C:
    • +
  • D:
    • + +
    + + \ No newline at end of file diff -r 598a5f781d39 -r 728aaeea12fd tests/hello.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/hello.html Wed Jul 29 10:08:03 2015 -0400 @@ -0,0 +1,10 @@ + + + + +Hello world! + + +

    Hello world!

    + + \ No newline at end of file