From 3154131cddb8bc8fe76b86bd9f4902f1d531bce6 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 31 Jul 2014 09:56:41 -0400 Subject: New .urp directive: file --- tests/files.ur | 1 + tests/files.urp | 6 ++++++ tests/hello.txt | 1 + tests/web.png | Bin 0 -> 9565 bytes 4 files changed, 8 insertions(+) create mode 100644 tests/files.ur create mode 100644 tests/files.urp create mode 100644 tests/hello.txt create mode 100644 tests/web.png (limited to 'tests') diff --git a/tests/files.ur b/tests/files.ur new file mode 100644 index 00000000..94cf8eb1 --- /dev/null +++ b/tests/files.ur @@ -0,0 +1 @@ +fun main () : transaction page = return Main page diff --git a/tests/files.urp b/tests/files.urp new file mode 100644 index 00000000..100992e5 --- /dev/null +++ b/tests/files.urp @@ -0,0 +1,6 @@ +rewrite all Files/* +file /hello_world.txt hello.txt +file /img/web.png web.png +file /files.urp files.urp + +files diff --git a/tests/hello.txt b/tests/hello.txt new file mode 100644 index 00000000..980a0d5f --- /dev/null +++ b/tests/hello.txt @@ -0,0 +1 @@ +Hello World! diff --git a/tests/web.png b/tests/web.png new file mode 100644 index 00000000..17548060 Binary files /dev/null and b/tests/web.png differ -- cgit v1.2.3