--- baseTypes/Makefile.orig	2018-05-23 13:27:49.000000000 -0600
+++ baseTypes/Makefile	2018-07-06 11:40:09.550998724 -0600
@@ -7,5 +7,5 @@ ALL=simpleExecutable.o
 all : $(ALL)
 
 %.o : %.cpp
-	$(CXX) $(CXXFLAGS) -c $^ -o $@
+	$(CXX) $(CXXFLAGS) -fPIC -c $^ -o $@
 
--- core/Makefile.orig	2018-05-23 13:27:49.000000000 -0600
+++ core/Makefile	2018-07-06 11:40:28.091746035 -0600
@@ -6,5 +6,5 @@ ALL=
 all : $(ALL)
 
 %.o : %.cpp
-	$(CXX) $(CXXFLAGS) -c $^ -o $@
+	$(CXX) $(CXXFLAGS) -fPIC -c $^ -o $@
 
--- Makefile.orig	2018-05-23 13:27:49.000000000 -0600
+++ Makefile	2018-07-06 12:19:56.328178963 -0600
@@ -1,7 +1,7 @@
 include flags
 SUBDIRS=applications/ baseTypes/
 OBJECTFILES=baseTypes/simpleExecutable.o
-LIBFILES=symfpu.a
+LIBFILES=libsymfpu.so
 PROGS=test
 
 
@@ -17,16 +17,21 @@ $(SUBDIRS):
 symfpu.a : $(OBJECTFILES)
 	ar rcs $@ $^
 
+libsymfpu.so : subdirs
+	$(CXX) $(CXXFLAGS) -shared $(OBJECTFILES) -Wl,-h,libsymfpu.so.0 -o libsymfpu.so.0.0.0
+	ln -s libsymfpu.so.0.0.0 libsymfpu.so.0
+	ln -s libsymfpu.so.0 $@
+
 clean :
 	find . -name '*.o' -exec rm {} \;
 	rm -f $(LIBFILES) $(PROGS)
 
 test : applications/test.o $(LIBFILES)
-	$(CXX) $(CXXFLAGS) $^ -o $@
+	$(CXX) $(CXXFLAGS) $< -o $@ -L. -lsymfpu
 
 cbmcverification : applications/cbmcverification.o $(LIBFILES)
-	$(CXX) $(CXXFLAGS) $^ -o $@
+	$(CXX) $(CXXFLAGS) $< -o $@ -L. -lsymfpu
 
 generate : applications/generate.o $(LIBFILES)
-	$(CXX) $(CXXFLAGS) $^ -o $@
+	$(CXX) $(CXXFLAGS) $< -o $@ -L. -lsymfpu
 
--- utils/Makefile.orig	2018-05-23 13:27:49.000000000 -0600
+++ utils/Makefile	2018-07-06 11:40:45.895503355 -0600
@@ -6,5 +6,5 @@ ALL=
 all : $(ALL)
 
 %.o : %.cpp
-	$(CXX) $(CXXFLAGS) -c $^ -o $@
+	$(CXX) $(CXXFLAGS) -fPIC -c $^ -o $@