diff --git a/05vishap.conf b/05vishap.conf index 6d52bd32..88a0e25c 100644 --- a/05vishap.conf +++ b/05vishap.conf @@ -1 +1 @@ -/Users/antranigv/local/voc-1.1/lib +/opt/voc-1.1/lib diff --git a/FAQ.md b/FAQ.md index 7c21376a..805f2bec 100644 --- a/FAQ.md +++ b/FAQ.md @@ -10,7 +10,7 @@ In case you still want to use line numbers then pass -l option to voc voc -ls m.Mod -compilation crashes on ARM or Raspberry Pi with recent (like 3.12) kernels. +compilation crashes on Ubuntu 15.10 x86_64 or latest Raspbians on Raspberry Pi with recent (like 3.12) kernels. =========================================================================== > echo 1 > /proc/sys/vm/legacy_va_layout diff --git a/src/voc/prf.Mod b/src/voc/prf.Mod index c6ebba38..2f4d8f24 100644 --- a/src/voc/prf.Mod +++ b/src/voc/prf.Mod @@ -1,5 +1,5 @@ MODULE prf; -CONST prefix* = "/Users/antranigv/local"; +CONST prefix* = "/opt"; END prf. diff --git a/vocstatic.linux.gcc.x86_64.REMOVED.git-id b/vocstatic.linux.gcc.x86_64.REMOVED.git-id index 4e53133c..bbe193b7 100644 --- a/vocstatic.linux.gcc.x86_64.REMOVED.git-id +++ b/vocstatic.linux.gcc.x86_64.REMOVED.git-id @@ -1 +1 @@ -7fb043555ff9a58049dfa0758bc95ce058c619e1 \ No newline at end of file +d4650157c77c72a0f43b28452babbec30602500a \ No newline at end of file