kc3-lang/kc3/ic3/configure

• Show log

  Commit

• Hash : f49a2c33
  Author : Thomas de Grivel
  Date : 2023-11-22T17:52:49
  

  configure

Download

• ic3/configure

• #!/bin/sh
  ## c3
  ## Copyright 2022,2023 kmx.io <contact@kmx.io>
  ##
  ## Permission is hereby granted to use this software granted the above
  ## copyright notice and this permission paragraph are included in all
  ## copies and substantial portions of this software.
  ##
  ## THIS SOFTWARE IS PROVIDED "AS-IS" WITHOUT ANY GUARANTEE OF
  ## PURPOSE AND PERFORMANCE. IN NO EVENT WHATSOEVER SHALL THE
  ## AUTHOR BE CONSIDERED LIABLE FOR THE USE AND PERFORMANCE OF
  ## THIS SOFTWARE.
  
  set -e
  
  export SRC_TOP="$(dirname "$PWD")"
  
  . ../config.subr
  
  PROG=ic3
  PROG_ASAN=ic3_asan
  PROG_COV=ic3_cov
  PROG_DEBUG=ic3_debug
  
  . ./sources.sh
  
  OBJECTS="$(c2ext .main.lo "$SOURCES")"
  echo "OBJECTS = $OBJECTS" >> ${CONFIG_MK}
  
  OBJECTS_ASAN="$(c2ext .asan.lo "$SOURCES")"
  echo "OBJECTS_ASAN = $OBJECTS_ASAN" >> ${CONFIG_MK}
  
  if $HAVE_GCOV; then
      OBJECTS_COV="$(c2ext .cov.lo "$SOURCES")"
      echo "OBJECTS_COV = $OBJECTS_COV" >> ${CONFIG_MK}
  fi
  
  OBJECTS_DEBUG="$(c2ext .debug.lo "$SOURCES")"
  echo "OBJECTS_DEBUG = $OBJECTS_DEBUG" >> ${CONFIG_MK}
  
  # Common config for all targets
  CFLAGS="$CFLAGS -W -Wall -Werror -std=c99 -pedantic"
  CPPFLAGS="-I../libffi/include $CPPFLAGS"
  config_asan
  config_gnu
  pkg_config libbsd-overlay
  pkg_config libmd
  config_lib libmd -lmd 2>/dev/null
  config_lib dl -ldl 2>/dev/null
  LIBS="$LIBS ../libffi/libffi.la -pthread"
  
  # Asan config
  CFLAGS_ASAN="$CFLAGS -fsanitize=address -O1 -fno-omit-frame-pointer -g"
  LDFLAGS_ASAN="$LDFLAGS"
  LIBC3_ASAN=../libc3/libc3_asan.la
  LOCAL_LIBS_ASAN="$LIBC3_ASAN"
  LIBS_ASAN="$LOCAL_LIBS_ASAN $LIBS"
  
  # Coverage config
  CFLAGS_COV="$CFLAGS -ftest-coverage -fprofile-arcs -fprofile-generate"
  LDFLAGS_COV="$LDFLAGS --coverage"
  LIBC3_COV=../libc3/libc3_cov.la
  LOCAL_LIBS_COV="$LIBC3_COV"
  LIBS_COV="$LOCAL_LIBS_COV $LIBS"
  
  # Debug config
  CFLAGS_DEBUG="$CFLAGS -DDEBUG -O0 -g"
  LDFLAGS_DEBUG="$LDFLAGS"
  LIBC3_DEBUG=../libc3/libc3_debug.la
  LOCAL_LIBS_DEBUG="$LIBC3_DEBUG"
  LIBS_DEBUG="$LOCAL_LIBS_DEBUG $LIBS"
  
  # Main config
  DEFAULT_CFLAGS="-O2 -pipe"
  if [ "x$ENV_CFLAGS" = "x" ]; then
      CFLAGS="$CFLAGS $DEFAULT_CFLAGS"
  fi
  CFLAGS="$CFLAGS -DNDEBUG"
  LIBC3=../libc3/libc3.la
  LOCAL_LIBS="$LIBC3"
  LIBS="$LOCAL_LIBS $LIBS"
  
  echo "HAVE_ASAN = $HAVE_ASAN" >> ${CONFIG_MK}
  echo "CPPFLAGS = $CPPFLAGS" >> ${CONFIG_MK}
  echo "CFLAGS = $CFLAGS" >> ${CONFIG_MK}
  echo "LDFLAGS = $LDFLAGS" >> ${CONFIG_MK}
  echo "LIBS = $LIBS" >> ${CONFIG_MK}
  echo >> ${CONFIG_MK}
  echo "CFLAGS_ASAN = $CFLAGS_ASAN" >> ${CONFIG_MK}
  echo "LDFLAGS_ASAN = $LDFLAGS_ASAN" >> ${CONFIG_MK}
  echo "LIBS_ASAN = $LIBS_ASAN" >> ${CONFIG_MK}
  echo >> ${CONFIG_MK}
  echo "CFLAGS_COV = $CFLAGS_COV" >> ${CONFIG_MK}
  echo "LDFLAGS_COV = $LDFLAGS_COV" >> ${CONFIG_MK}
  echo "LIBS_COV = $LIBS_COV" >> ${CONFIG_MK}
  echo >> ${CONFIG_MK}
  echo "CFLAGS_DEBUG = $CFLAGS_DEBUG" >> ${CONFIG_MK}
  echo "LDFLAGS_DEBUG = $LDFLAGS_DEBUG" >> ${CONFIG_MK}
  echo "LIBS_DEBUG = $LIBS_DEBUG" >> ${CONFIG_MK}
  
  echo >> ${CONFIG_MK}
  echo "$PROG: $LOCAL_LIBS $OBJECTS" >> ${CONFIG_MK}
  echo "	${LIBTOOL} --tag=CC --mode=link \${CC} \${CFLAGS} \${LDFLAGS} ${OBJECTS} ${LIBS} -o $PROG" >> ${CONFIG_MK}
  
  echo >> ${CONFIG_MK}
  echo "$PROG_ASAN: $LOCAL_LIBS_ASAN $OBJECTS_ASAN" >> ${CONFIG_MK}
  echo "	${LIBTOOL} --tag=CC --mode=link \${CC} \${CFLAGS_ASAN} \${LDFLAGS_ASAN} ${OBJECTS_ASAN} ${LIBS_ASAN} -o $PROG_ASAN" >> ${CONFIG_MK}
  
  if $HAVE_GCOV; then
      echo >> ${CONFIG_MK}
      echo "$PROG_COV: $LOCAL_LIBS_COV $OBJECTS_COV" >> ${CONFIG_MK}
      echo "	${LIBTOOL} --tag=CC --mode=link \${CC} \${CFLAGS_COV} \${LDFLAGS_COV} ${OBJECTS_COV} ${LIBS_COV} -o $PROG_COV" >> ${CONFIG_MK}
  fi
  
  echo >> ${CONFIG_MK}
  echo "$PROG_DEBUG: $LOCAL_LIBS_DEBUG $OBJECTS_DEBUG" >> ${CONFIG_MK}
  echo "	${LIBTOOL} --tag=CC --mode=link \${CC} \${CFLAGS_DEBUG} \${LDFLAGS_DEBUG} ${OBJECTS_DEBUG} ${LIBS_DEBUG} -o $PROG_DEBUG" >> ${CONFIG_MK}
  
  for SRC in $SOURCES; do
      echo >> ${CONFIG_MK}
      SRC_LO="$(c2ext .main.lo "$SRC")"
      c_ext_rule .main.lo "$SRC" >> ${CONFIG_MK}
      echo "	${LIBTOOL} --tag=CC --mode=compile \${CC} \${CPPFLAGS} \${CFLAGS} -c $SRC -o $SRC_LO" >> ${CONFIG_MK}
  
      echo >> ${CONFIG_MK}
      SRC_ASAN_LO="$(c2ext .asan.lo "$SRC")"
      c_ext_rule .asan.lo "$SRC" >> ${CONFIG_MK}
      echo "	${LIBTOOL} --tag=CC --mode=compile \${CC} \${CPPFLAGS} \${CFLAGS_ASAN} -c $SRC -o $SRC_ASAN_LO" >> ${CONFIG_MK}
  
      if $HAVE_GCOV; then
          echo >> ${CONFIG_MK}
          SRC_COV_LO="$(c2ext .cov.lo "$SRC")"
          c_ext_rule .cov.lo "$SRC" >> ${CONFIG_MK}
          echo "	${LIBTOOL} --tag=CC --mode=compile \${CC} \${CPPFLAGS} \${CFLAGS_COV} -c $SRC -o $SRC_COV_LO" >> ${CONFIG_MK}
      fi
  
      echo >> ${CONFIG_MK}
      SRC_DEBUG_LO="$(c2ext .debug.lo "$SRC")"
      c_ext_rule .debug.lo "$SRC" >> ${CONFIG_MK}
      echo "	${LIBTOOL} --tag=CC --mode=compile \${CC} \${CPPFLAGS} \${CFLAGS_DEBUG} -c $SRC -o $SRC_DEBUG_LO" >> ${CONFIG_MK}
  done
  
  update_config_mk
  

Download