--- Makefile.orig	2014-09-16 21:19:52 UTC
+++ Makefile
@@ -95,9 +95,21 @@ endif
 $(SHARED3):
 	$(CXX) $(LDFLAGS) $(PLATFORM_SHARED_LDFLAGS)$(SHARED2) $(CXXFLAGS) $(PLATFORM_SHARED_CFLAGS) $(SOURCES) -o $(SHARED3) $(LIBS)
 
+SHARED += $(MEMENVLIBRARY_SHARED1) $(MEMENVLIBRARY_SHARED2) $(MEMENVLIBRARY_SHARED3)
+MEMENVLIBRARY_SHARED1 = libmemenv.$(PLATFORM_SHARED_EXT)
+MEMENVLIBRARY_SHARED2 = libmemenv.$(PLATFORM_SHARED_EXT).$(SHARED_MAJOR)
+MEMENVLIBRARY_SHARED3 = libmemenv.$(PLATFORM_SHARED_EXT).$(SHARED_MAJOR).$(SHARED_MINOR)
+MEMENVLIBRARY_SHARED = libmemenv.$(PLATFORM_SHARED_EXT).$(SHARED_MAJOR).$(SHARED_MINOR)
+$(MEMENVLIBRARY_SHARED1): $(MEMENVLIBRARY_SHARED3)
+	ln -fs $(MEMENVLIBRARY_SHARED3) $(MEMENVLIBRARY_SHARED1)
+$(MEMENVLIBRARY_SHARED2): $(MEMENVLIBRARY_SHARED3)
+	ln -fs $(MEMENVLIBRARY_SHARED3) $(MEMENVLIBRARY_SHARED2)
+$(MEMENVLIBRARY_SHARED3):
+	$(CXX) $(LDFLAGS) $(PLATFORM_SHARED_LDFLAGS)$(MEMENVLIBRARY_SHARED2) $(CXXFLAGS) $(PLATFORM_SHARED_CFLAGS) $(MEMENV_SOURCES) -o $(MEMENVLIBRARY_SHARED) $(LIBS)
+
 endif  # PLATFORM_SHARED_EXT
 
-all: $(SHARED) $(LIBRARY)
+all: $(SHARED) $(LIBRARY) $(MEMENVLIBRARY)
 
 check: all $(PROGRAMS) $(TESTS)
 	for t in $(TESTS); do echo "***** Running $$t"; ./$$t || exit 1; done