update .gitignore, mention libomp dep on osx

arifogel · arifogel · commit 1aa4fc0297ff · 2019-01-26T20:36:14.000-08:00
diff --git a/.gitignore b/.gitignore
@@ -79,3 +79,6 @@ doc/code
 .vs
 examples/**/obj
 CMakeSettings.json
+
+# ignore version header
+src/util/z3_version.h
diff --git a/README.batfish b/README.batfish
@@ -14,6 +14,8 @@ LINUX_BASE=ubuntu_16.04 TRAVIS_OS_NAME=linux contrib/ci/scripts/travis_ci_entry_
 # contrib/ci/scripts/install_deps_osx.sh
 #
 ## OSX with OpenMP (RECOMMENDED, MUST BE RUN ON OSX, DOES NOT USE DOCKER)
+# You must have OpenMP libraries for this build. Install with:
+# brew install libomp
 ./package_z3_osx_openmp.sh
 
 ## OSX without OpenMP (NOT RECOMMENDED, MUST BE RUN ON OSX, DOES NOT USE DOCKER)

Original file line number	Diff line number	Diff line change
`@@ -14,6 +14,8 @@ LINUX_BASE=ubuntu_16.04 TRAVIS_OS_NAME=linux contrib/ci/scripts/travis_ci_entry_`
`14`	`14`	`# contrib/ci/scripts/install_deps_osx.sh`
`15`	`15`	`#`
`16`	`16`	`## OSX with OpenMP (RECOMMENDED, MUST BE RUN ON OSX, DOES NOT USE DOCKER)`
	`17`	`+# You must have OpenMP libraries for this build. Install with:`
	`18`	`+# brew install libomp`
`17`	`19`	`./package_z3_osx_openmp.sh`
`18`	`20`
`19`	`21`	`## OSX without OpenMP (NOT RECOMMENDED, MUST BE RUN ON OSX, DOES NOT USE DOCKER)`