From fcb865786b524917aa9d3df8745aca66716794bf Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Sun, 2 Jun 2024 21:50:06 -0400
Subject: [PATCH] Also add a dynamic library

---
Liliana Marie Prikler <liliana.prikler@gmail.com>:
  Added -L.
  Squashed fix for cadical and mobical.

 makefile.in | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/makefile.in b/makefile.in
index 291cb3e3..d179f591 100644
--- a/makefile.in
+++ b/makefile.in
@@ -34,7 +34,7 @@ COMPILE=$(CXX) $(CXXFLAGS) -I$(DIR) -I$(ROOT)/src
 
 #--------------------------------------------------------------------------#
 
-all: libcadical.a cadical mobical
+all: libcadical.so libcadical.a cadical mobical
 
 #--------------------------------------------------------------------------#
 
@@ -54,10 +54,10 @@ contrib/%.o: $(ROOT)/contrib/%.cpp $(ROOT)/contrib/%.hpp $(ROOT)/src/*.hpp makef
 # tester 'mobical') and the library are the main build targets.
 
 cadical: src/cadical.o libcadical.a makefile
-	$(COMPILE) -o $@ $< -L. -lcadical $(LIBS)
+	$(COMPILE) -static -o $@ $< -L. -lcadical $(LIBS)
 
 mobical: src/mobical.o libcadical.a makefile $(LIBS)
-	$(COMPILE) -o $@ $< -L. -lcadical
+	$(COMPILE) -static -o $@ $< -L. -lcadical
 
 libcadical.a: $(OBJ_SOLVER) $(OBJ_CONTRIB) makefile
 	ar rc $@ $(OBJ_SOLVER) $(OBJ_CONTRIB)
@@ -62,5 +62,8 @@ mobical: src/mobical.o libcadical.a makefile $(LIBS)
 libcadical.a: $(OBJ_SOLVER) $(OBJ_CONTRIB) makefile
 	ar rc $@ $(OBJ_SOLVER) $(OBJ_CONTRIB)
 
+libcadical.so: $(OBJ_SOLVER) $(OBJ_CONTRIB) $(LIBS) makefile
+	$(COMPILE) -shared -o $@ $(OBJ_SOLVER) $(OBJ_CONTRIB) $(LIBS)
+
 #--------------------------------------------------------------------------#
 
 # Note that 'build.hpp' is generated and resides in the build directory.lue='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=37586ace348287311f2311906b239fba2cd291d7'>root</a>/<a href='/guix/log/gnu?id=37586ace348287311f2311906b239fba2cd291d7'>gnu</a>/<a href='/guix/log/gnu/packages?id=37586ace348287311f2311906b239fba2cd291d7'>packages</a>/<a href='/guix/log/gnu/packages/telephony.scm?id=37586ace348287311f2311906b239fba2cd291d7'>telephony.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/packages/telephony.scm?id=37586ace348287311f2311906b239fba2cd291d7&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2023-05-03 12:36:08 +0200'>2023-05-03</span></td><td><a href='/guix/commit/gnu/packages/telephony.scm?id=0cbbc1996d366ee8408898ae255085e745f3d292'>gnu: Add sipp.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/telephony.scm (sipp): New variable.

Signed-off-by: Nicolas Goaziou &lt;mail@nicolasgoaziou.fr&gt;
</span></span></td><td>Ivan Gankevich</td></tr>
<tr><td><span title='2023-04-28 08:56:48 +0800'>2023-04-28</span></td><td><a href='/guix/commit/gnu/packages/telephony.scm?id=e42117bfc9afd7650f14efd2b2def68fcbfd4e36'>gnu: mumble: Update to 1.4.287, fix build.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/telephony.scm (mumble): Update to 1.4.287.
[inputs]: Use openssl-1.1.
</span></span></td><td>宋文武</td></tr>
<tr><td><span title='2023-04-14 17:15:08 -0400'>2023-04-14</span></td><td><a href='/guix/commit/gnu/packages/telephony.scm?id=3bacd3c76a58ebe70f98be654f09cbd4166093ab'>Merge branch 'master' into core-updates.</a><span class='msg-avail'>...<span class='msg-tooltip'>Conflicts:
	gnu/local.mk
	gnu/packages/build-tools.scm
	gnu/packages/certs.scm
	gnu/packages/check.scm
	gnu/packages/compression.scm
	gnu/packages/cups.scm
	gnu/packages/fontutils.scm
	gnu/packages/gnuzilla.scm
	gnu/packages/guile.scm
	gnu/packages/ibus.scm
	gnu/packages/image-processing.scm
	gnu/packages/linux.scm
	gnu/packages/music.scm
	gnu/packages/nss.scm
	gnu/packages/pdf.scm
	gnu/packages/python-xyz.scm
	gnu/packages/qt.scm
	gnu/packages/ruby.scm
	gnu/packages/shells.scm
	gnu/packages/tex.scm
	gnu/packages/video.scm
	gnu/packages/vulkan.scm
	gnu/packages/web.scm
	gnu/packages/webkit.scm
	gnu/packages/wm.scm
</span></span></td><td>Maxim Cournoyer</td></tr>
<tr><td><span title='2023-03-31 13:24:48 +0200'>2023-03-31</span></td><td><a href='/guix/commit/gnu/packages/telephony.scm?id=651505807e7847b01bf6e53af8866958294d417c'>gnu: ucommon: Explicitly select C++ version.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/telephony.scm (ucommon)[arguments]: Set -std=c++14.
</span></span></td><td>Lars-Dominik Braun</td></tr>
<tr><td><span title='2023-03-28 20:16:06 -0400'>2023-03-28</span></td><td><a href='/guix/commit/gnu/packages/telephony.scm?id=846c615e15b6848c1e4c7d18146d6b40d417cf9f'>gnu: pjproject: Update to 2.13.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/telephony.scm (pjproject): Update to 2.13.
[arguments]: Disable the resolver-related tests.
</span></span></td><td>Maxim Cournoyer</td></tr>