aboutsummaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
Diffstat (limited to 'README')
-rw-r--r--README16
1 files changed, 10 insertions, 6 deletions
diff --git a/README b/README
index 9328a4f89e..7dd016ef80 100644
--- a/README
+++ b/README
@@ -52,19 +52,23 @@ To do so:
- Install the dependencies (see 'Requirements' above) and build tools using
Guix:
- guix package --install={autoconf,automake,bzip2,gcc-toolchain,gettext,guile,libgcrypt,pkg-config,sqlite}
+ guix package --install autoconf automake bzip2 gcc-toolchain gettext \
+ guile libgcrypt pkg-config sqlite
- - set the environment variables that Guix recommends you to set during the
+ - Set the environment variables that Guix recommends you to set during the
package installation process:
ACLOCAL_PATH, CPATH, LIBRARY_PATH, PKG_CONFIG_PATH
- - set the PATH environment variable to refer to the profile:
+ - Set the PATH environment variable to refer to the profile:
PATH=$HOME/.guix-profile/bin:$PATH
- - re-run the configure script passing it the option
- `--with-libgcrypt-prefix=$HOME/.guix-profile/'
+ - Re-run the 'configure' script passing it the option
+ '--with-libgcrypt-prefix=$HOME/.guix-profile/', as well as
+ '--localstatedir=/somewhere', where '/somewhere' is the 'localstatedir'
+ value of the currently installed Guix (failing to do that would lead the
+ new Guix to consider the store to be empty!).
- - run "make" and "make install"
+ - Run "make", "make check", and "make install".
* How It Works
AGH-engineering-thesis/diff/tests/stack_machine_swap/test.v?id=d5c877247834fc25689ca6cf7530cd8d1b870d3a'>tests/stack_machine_swap/test.v1
-rw-r--r--tests/stack_machine_swap/words_to_verify.mem3
3 files changed, 21 insertions, 0 deletions
diff --git a/tests/stack_machine_swap/instructions.s.tcl b/tests/stack_machine_swap/instructions.s.tcl
new file mode 100755
index 0000000..a44ecf9
--- /dev/null
+++ b/tests/stack_machine_swap/instructions.s.tcl
@@ -0,0 +1,17 @@
+#!/usr/bin/env tclsh
+
+source tclasm.tcl
+
+set_sp 0
+
+const h0000DEAD
+const h0000BEEF
+
+swap
+
+## Because values were swapped, h0000DEAD should get written, first, at lower
+## address (h100) and h0000BEEF should be written next (at h200)
+store h000100
+store h000200
+
+halt
diff --git a/tests/stack_machine_swap/test.v b/tests/stack_machine_swap/test.v
new file mode 120000
index 0000000..f5b6a59
--- /dev/null
+++ b/tests/stack_machine_swap/test.v
@@ -0,0 +1 @@
+../stack_machine_store/test.v \ No newline at end of file
diff --git a/tests/stack_machine_swap/words_to_verify.mem b/tests/stack_machine_swap/words_to_verify.mem
new file mode 100644
index 0000000..8557c9a
--- /dev/null
+++ b/tests/stack_machine_swap/words_to_verify.mem
@@ -0,0 +1,3 @@
+// address value
+ 00100 DEAD
+ 00200 BEEF