Fix build instructions (in particular the folder name for macOS distr…

…os of z3)

BUILDING.md

@@ -31,10 +31,21 @@ for example `C:\idasdk_pro82\plugins\goomba`.
 
 5. Copy generated files from SDK's bin directory to your IDA install (or [user directory](https://hex-rays.com/blog/igors-tip-of-the-week-33-idas-user-directory-idausr/)):
 
+On Windows:
+
  * `C:\idasdk_pro82\bin\plugins\goomba*` -> `C:\Program Files\IDA Pro 8.2\plugins\`
  * `C:\idasdk_pro82\bin\cfg\goomba.cfg` -> `C:\Program Files\IDA Pro 8.2\cfg\`
  * `C:\idasdk_pro82\bin\libz3.*` -> `C:\Program Files\IDA Pro 8.2\`
 
+On linux: 
+
+ * `/path/to/idasdk_pro82/bin/plugins/goomba*` -> `/path/to/ida82/plugins/`
+ * `/path/to/idasdk_pro82/bin/cfg/goomba.cfg` -> `/path/to/ida82/cfg/`
+ * `/path/to/idasdk_pro82/bin/libz3.*` -> `/path/to/ida82/`
 
+On macOS:
 
+ * `/path/to/idasdk_pro82/bin/plugins/goomba*` -> `/path/to/ida82/ida.app/Contents/MacOS/plugins/`
+ * `/path/to/idasdk_pro82/bin/cfg/goomba.cfg` -> `/path/to/ida82/ida.app/Contents/MacOS/cfg/`
+ * `/path/to/idasdk_pro82/bin/libz3.*` -> `/path/to/ida82/ida.app/Contents/Frameworks/`
 

makefile

@@ -15,13 +15,13 @@ include ../plugin.mak
 
 ifeq ($(THIRD_PARTY),)
   # building outside of Hex-Rays tree, use a local z3 build 
-  Z3VER=4.11.2
+  Z3VER=4.12.1
   Z3BIN-$(__LINUX__) = z3/z3-$(Z3VER)-x64-glibc-2.31/bin/
   Z3BIN-$(__NT__)    = z3/z3-$(Z3VER)-x64-win/bin/
   ifdef __ARM__
     Z3BIN-$(__MAC__) = z3/z3-$(Z3VER)-arm64-osx-11.0/bin/
   else
-    Z3BIN-$(__MAC__) = z3/z3-$(Z3VER)-osx-10.16/
+    Z3BIN-$(__MAC__) = z3/z3-$(Z3VER)-x64-osx-10.16/bin/
   endif
   Z3_BIN = $(Z3BIN-1)
   Z3_INCLUDE = $(Z3_BIN)../include/