Removing the "inline" keyword can make FriCAS
c89 compliant (instead of current c99).
Is this worth it?
- Qian
On 12/20/24 11:01 PM, Waldek Hebisch wrote:
> After removing test for GCC from configure we can use tcc to
> build FriCAS. 'tcc' compiles much faster than 'gcc'. In our
> case apparently this does not lead to measurably faster build,
> but time spent in 'configure' is shorter.
>
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion visit
https://groups.google.com/d/msgid/fricas-devel/8960b38c-a9a6-4b23-acbb-63560c6414ac%40gmail.com.
diff --git a/src/include/com.h b/src/include/com.h
index a5bc64c2..e15741af 100644
--- a/src/include/com.h
+++ b/src/include/com.h
@@ -151,13 +151,13 @@ extern fd_set server_mask;
we restrict ourselves to the POSIX standard functions recv() and
send(). */
-static inline int
+static int
fricas_write(Sock* s, const char* buf, size_t n)
{
return send(s->socket, buf, n, 0);
}
-static inline int
+static int
fricas_read(Sock* s, char* buf, size_t n)
{
return recv(s->socket, buf, n, 0);
diff --git a/src/lib/sockio-c.c b/src/lib/sockio-c.c
index 51071e16..c796e3f8 100644
--- a/src/lib/sockio-c.c
+++ b/src/lib/sockio-c.c
@@ -128,7 +128,7 @@ fricas_load_socket_module()
/* Get a socket identifier to a local server. We take whatever protocol
is the default for the address family in the SOCK_STREAM type. */
-static inline fricas_socket
+static fricas_socket
fricas_communication_link(int family)
{
fricas_load_socket_module();
@@ -138,7 +138,7 @@ fricas_communication_link(int family)
/* Returns 1 if SOCKET is an invalid socket. Otherwise return 0. */
-static inline int
+static int
is_invalid_socket(const Sock* s)
{
#ifdef __WIN32__
@@ -150,7 +150,7 @@ is_invalid_socket(const Sock* s)
/* Returns 1 if SOCKET is a valid socket. Otherwise return 0. */
-static inline int
+static int
is_valid_socket(const Sock* s)
{
#ifdef __WIN32__
@@ -181,7 +181,7 @@ fricas_close_socket(fricas_socket s)
/* Return 1 if the last call was cancelled. */
-static inline int
+static int
fricas_call_was_cancelled(void)
{
#ifdef __WIN32__
@@ -193,7 +193,7 @@ fricas_call_was_cancelled(void)
/* Return 1 if last connect() was refused. */
-static inline int
+static int
fricas_connection_refused(void)
{
#ifdef __WIN32__
