# Copyright 2019 Free Software Foundation, Inc.
#
#  This file is part of the GNU MP Library.
#
#  The GNU MP Library is free software; you can redistribute it and/or modify
#  it under the terms of either:
#
#    * the GNU Lesser General Public License as published by the Free
#      Software Foundation; either version 3 of the License, or (at your
#      option) any later version.
#
#  or
#
#    * the GNU General Public License as published by the Free Software
#      Foundation; either version 2 of the License, or (at your option) any
#      later version.
#
#  or both in parallel, as here.
#
#  The GNU MP Library is distributed in the hope that it will be useful, but
#  WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
#  or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
#  for more details.
#
#  You should have received copies of the GNU General Public License and the
#  GNU Lesser General Public License along with the GNU MP Library.  If not,
#  see https://www.gnu.org/licenses/.


set(LIBRANDOM_SOURCES
  randmt.h
  rand.c randclr.c randdef.c randiset.c randlc2s.c randlc2x.c randmt.c
  randmts.c rands.c randsd.c randsdui.c randbui.c randmui.c)
add_library(librandom OBJECT ${LIBRANDOM_SOURCES})
add_dependencies(librandom gen-fib-table gen-mp-bases gen-sieve-table)
set_target_properties(librandom PROPERTIES COMPILE_DEFINITIONS __GMP_WITHIN_GMP)
