Skip to content

Commit

Permalink
Merge pull request #1445 from edgarcosta/flint2_to_flint
Browse files Browse the repository at this point in the history
flintlib/flint2 -> flintlib/flint
  • Loading branch information
fredrik-johansson authored Oct 9, 2023
2 parents ed534d3 + c54cf89 commit e82de21
Show file tree
Hide file tree
Showing 3 changed files with 9 additions and 9 deletions.
12 changes: 6 additions & 6 deletions configure.ac
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@ AC_PREREQ(2.59)

define(FLINT_VERSION,[3.0.0-dev])

AC_INIT(FLINT, FLINT_VERSION, [https://github.com/flintlib/flint2/issues/], flint, [https://flintlib.org/])
AC_INIT(FLINT, FLINT_VERSION, [https://github.com/flintlib/flint/issues/], flint, [https://flintlib.org/])
AC_CONFIG_AUX_DIR([config])
AC_LANG(C)

Expand Down Expand Up @@ -661,7 +661,7 @@ AC_CHECK_LIB(m,fabs,
AC_CHECK_LIB(gmp,__gmpz_init,
[LIBS="-lgmp $LIBS"],
[AC_MSG_ERROR([GMP library was not found. If you indeed have GMP installed, please
submit a bug report to <https://github.com/flintlib/flint2/issues/> so
submit a bug report to <https://github.com/flintlib/flint/issues/> so
that we can either fix the issue or give a more proper error message.])])

if test "$enable_gmp_internals" = "yes";
Expand All @@ -679,7 +679,7 @@ fi
AC_CHECK_LIB(mpfr,mpfr_init,
[LIBS="-lmpfr $LIBS"],
[AC_MSG_ERROR([MPFR library was not found. If you indeed have MPFR installed, please
submit a bug report to <https://github.com/flintlib/flint2/issues/> so
submit a bug report to <https://github.com/flintlib/flint/issues/> so
that we can either fix the issue or give a more proper error message.])])

if test "$enable_pthread" = "yes";
Expand All @@ -703,7 +703,7 @@ then
[AC_CHECK_LIB(blas,cblas_dgemm,
[LIBS="-lblas $LIBS"],
[AC_MSG_ERROR([BLAS library was not found. If you indeed have BLAS installed, please
submit a bug report to <https://github.com/flintlib/flint2/issues/> so
submit a bug report to <https://github.com/flintlib/flint/issues/> so
that we can either fix the issue or give a more proper error message.])]
)]
)]
Expand All @@ -729,7 +729,7 @@ std::cout << c << "\n";]
[AC_MSG_RESULT([yes])],
[AC_MSG_RESULT([no])
AC_MSG_ERROR([NTL library was not found. If you indeed have NTL installed, please
submit a bug report to <https://github.com/flintlib/flint2/issues/> so
submit a bug report to <https://github.com/flintlib/flint/issues/> so
that we can either fix the issue or give a more proper error message.])])
AC_LANG_POP
LIBS="$SAVE_libs"
Expand Down Expand Up @@ -791,7 +791,7 @@ AC_LINK_IFELSE([AC_LANG_PROGRAM(
[AC_MSG_RESULT([yes])],
[AC_MSG_RESULT([no])
AC_MSG_ERROR([Couldn't find alloca, which is required for FLINT. Please submit a bug
report to <https://github.com/flintlib/flint2/issues/> and specify your
report to <https://github.com/flintlib/flint/issues/> and specify your
operating system.])])

AC_MSG_CHECKING([if $CC has popcount intrinsics])
Expand Down
2 changes: 1 addition & 1 deletion doc/source/flintxx.rst
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ Flint provides a C++ wrapper which makes extensive use of metaprogramming.
It is currently not maintained for the whole of Flint due to lack of a C++
developer willing to step up and maintain it. Therefore it is provided as-is,
though we do try to do sufficient maintenance to keep the
`currently wrapped functions <https://github.com/flintlib/flint2/blob/trunk/doc/source/flintxx_functions.txt>`_
`currently wrapped functions <https://github.com/flintlib/flint/blob/trunk/doc/source/flintxx_functions.txt>`_
compiling.

In this section we describe how to use ``flintxx`` the Flint C++ wrapper.
Expand Down
4 changes: 2 additions & 2 deletions doc/source/index.rst
Original file line number Diff line number Diff line change
Expand Up @@ -9,8 +9,8 @@ FLINT: Fast Library for Number Theory
Welcome to FLINT's documentation! FLINT is a C library for doing number theory.

* Website: https://flintlib.org
* Source code on GitHub: https://github.com/flintlib/flint2
* Issue tracker: https://github.com/flintlib/flint2/issues
* Source code on GitHub: https://github.com/flintlib/flint
* Issue tracker: https://github.com/flintlib/flint/issues
* Mailing list: https://groups.google.com/group/flint-devel

FLINT is free software distributed under the
Expand Down

0 comments on commit e82de21

Please sign in to comment.