Building in OSX. Support both for gcc-c++ and clang++ (with openMP)#20

Open

mrtuborg wants to merge 6 commits intoelibensasson:masterfrom mrtuborg:osx-build

+137-33

Commits on May 1, 2019

Ali/prover.cpp: Translate linux sysinfo call to posix sysctl for OSX build case
Vladimir A. Nosenko
committed
Utils/ErrorHandling, gadgetlib/infrastructure.cpp: Combine GNUC and OSX into common NON-Windows case
Vladimir A. Nosenko
committed
Makefiles: gnu ar utility working differently on different platform. Added AR variable to be appropriately redefined for the specific platform
Vladimir A. Nosenko
committed
[algebralib-tests, tinyram-tests]/Makefile: Adding LDFLAGS to use information for the gtest libraries path from the environment
Vladimir A. Nosenko
committed
[algebralib-test, stark-tinyram-tests] Makefiles uses -fopenmp switch directly, that make its incompatible with clang. Fix: Substituted by CFLAGS, that have correct openmp switch
Vladimir A. Nosenko
committed
flags.mk: Enable building both for linux, macOS with both compiler families gcc-c++ and clang++
Vladimir A. Nosenko
committed