Permalink
Browse files

Add -lm for latest Yices version

  • Loading branch information...
polazarus committed Nov 7, 2013
1 parent 475873c commit 0be97bb6a41a286d30d1d46a7b032ce9fbb124d8
Showing with 7 additions and 4 deletions.
  1. +5 −2 Makefile.in
  2. +1 −1 configure
  3. +1 −1 configure.ac
View
@@ -72,18 +72,21 @@ STATIC_YICES = @STATIC_YICES_WITH_GMP@
# Library dependencies #########################################################
# Libraries to use with 'ocamlopt' or 'ocamlc -custom'
CCLIBS = stdc++ yices
CCLIBS = yices
ifneq ($(PARTIAL_LINKING),yes)
CCLIBS += camlidl
endif
ifeq ($(STATIC_YICES),yes)
CCLIBS += stdc++ m
endif
# Partial linking library
PLLIBS = camlidl # no dependency to camlidl for Ocamlyices users
# Libraries to build the shared library dll*.so (used only when CUSTOM=no)
DL_LIBS = camlidl yices
ifeq ($(STATIC_YICES),yes)
DL_LIBS += stdc++
DL_LIBS += m stdc++
endif
# Names of Camlidl-related files ###############################################
View
@@ -2144,7 +2144,7 @@ ac_compiler_gnu=$ac_cv_c_compiler_gnu
CFLAGS="-O2 -fPIC"
LIBS="-lstdc++"
LIBS="-lstdc++ -lm"
ac_ext=c
View
@@ -15,7 +15,7 @@
AC_INIT(ocamlyices,0.7.0)
CFLAGS="-O2 -fPIC"
LIBS="-lstdc++"
LIBS="-lstdc++ -lm"
AC_PROG_CC

0 comments on commit 0be97bb

Please sign in to comment.