Remove lp_solve.py and lp_maker.py from the makefile; we depend directly on lpsolve55...

[dead/census-tools.git] / lib / makefile

diff --git a/lib/makefile b/lib/makefile
index 4115134d0db1f5dfcf88171dfcebeabdfc384c35..d0b160250b30d9a1d4e6e3afdeb838283802272d 100644 (file)
--- a/lib/makefile
+++ b/lib/makefile
@@ -49,7 +49,7 @@ LFLAGS_PATCH = sed -i 's/^LFLAGS = -L -l$$/LFLAGS = -L/'
        cd lp_solve_5.5/extra/Python;                                 \
        sed -i 's~lpsolve55/bin/\(ux\|win\)32~../lp_solve~' setup.py; \
        python setup.py build;                                        \
-       mv build/lib.linux-*/* ../../../lp_solve/;
+       mv build/lib.linux-*/*.so ../../../lp_solve/;
 
 
 lp_solve_lib_src: