[PATCH] simplify case insensitive file system detection logic in configure

3 views
Skip to first unread message

Qian Yun

unread,
Dec 1, 2023, 8:27:32 PM12/1/23
to fricas-devel
I added the case insensitive file system detection logic in
configure, later a --enable-case-insensitive-file-system-check
option is added due to sagemath's requirement.

Turns out this can be simplified:

The only problematic situation is:
1. in-tree build
2. and build without pre-generated (aka non release tarball build)
3. and on a case insensitive file system

So I removed the --enable-case-insensitive-file-system-check
option and only do the check in configure when pre-generated
is not available.

- Qian
configure-case-check.patch

Waldek Hebisch

unread,
Dec 1, 2023, 8:44:46 PM12/1/23
to fricas...@googlegroups.com
OK, please commit.
--
Waldek Hebisch
Reply all
Reply to author
Forward
0 new messages