Hi Vijay,
I just compiled SCIP 3.1.1 with SoPlex and ZIMPL on Raspberry Pi 2 (OS: Raspbian).
Before the compilation, I needed to install some packages:
sudo apt-get install bison flex libgmp-dev libreadline-dev libncurses5-dev
For ZIMPL, I have created a file
zimpl-3.3.2/make/make.linux.armv7l.gnu.opt containing:
CPPFLAGS += -DNDEBUG -DNO_MSHELL -D__NO_MATH_INLINES
CFLAGS = -O3
LDFLAGS = -lgmp -lm
ifeq ($(ZLIB),true)
LDFLAGS += -lz
endif
ifeq ($(LINK),shared)
LIBRARY = $(LIBDIR)/lib$(LIBNAME).so
LIBLINK = $(LIBDIR)/lib$(NAME).$(BASE).so
CFLAGS += -fPIC
AR = gcc -shared -o # the trailing space is important
ARFLAGS = $(LDFLAGS)
RANLIB = true
endif
ifeq ($(LINK),static)
LDFLAGS += -static
endif
I ran
make, but I obtained an error at the end (a zimpl library file not found).
I made a link to solve the problem:
ln zimpl-3.3.2/lib/libzimpl.linux.armv7l.gnu.opt.a zimpl-3.3.2/lib/libzimpl.linux.arm.gnu.opt.a
I ran
make again, then it worked.
Currently, I have seen no problem during the execution.
Best regards