Cross Reference: makefile.patch
xref: /hets/utils/ubuntu/packages/leo2/debian/patches/makefile.patch
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
makefile.patch revision ebd05b2aa753deb5e8a1560871567c8724e3a0f9
ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder--- /dev/null
ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder+++ b/Makefile
ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder@@ -0,0 +1,8 @@
ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder+all:
ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder+ cd src/ && ./configure
ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder+ make -C src/ opt
ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder+clean:
ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder+ cd src/ && ./configure
ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder+ -make -C src/ clean_minisat
ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder+ -make -C src/ cleaner
ebd05b2aa753deb5e8a1560871567c8724e3a0f9Jonathan von Schroeder+ rm src/Makefile

Indexes created Tue Jul 24 14:28:13 CEST 2018