]> gitweb.michael.orlitzky.com - dead/census-tools.git/commitdiff
Remove lp_solve.py and lp_maker.py from the makefile; we depend directly on lpsolve55...
authorMichael Orlitzky <michael@orlitzky.com>
Mon, 26 Apr 2010 19:48:21 +0000 (15:48 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Mon, 26 Apr 2010 19:48:21 +0000 (15:48 -0400)
lib/makefile

index 301f2a25634ef652fc94c8c845be7d8c5f8d3f3e..d0b160250b30d9a1d4e6e3afdeb838283802272d 100644 (file)
@@ -49,9 +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/;
-# Change the problem type from 'maximize' to 'minimize'.
-       sed -i 's/set_maxim/set_minim/' lp_solve/lp_solve.py
+       mv build/lib.linux-*/*.so ../../../lp_solve/;
 
 
 lp_solve_lib_src: