os/debian/rules
changeset 680 fca287dc62a1
parent 285 e306da1c4ad1
child 1143 d03fc9ec20ce
equal deleted inserted replaced
679:e959706a3e4d 680:fca287dc62a1
    32 build-stamp: configure-stamp 
    32 build-stamp: configure-stamp 
    33 	dh_testdir
    33 	dh_testdir
    34 
    34 
    35 	# Add here commands to compile the package.
    35 	# Add here commands to compile the package.
    36 	
    36 	
    37 	# we specifiy MANUAL_CONFIG here, so our settings take precedence over
       
    38 	# the ones in the existing Makefile.config (actually, the existing
       
    39 	# Makefile.config is not used at all, though it is overwritten)
       
    40 	rm Makefile.config
    37 	rm Makefile.config
    41 	$(MAKE) PREFIX=/usr MIDI=/usr/bin/timidity INSTALL=1 
    38 	$(MAKE) PREFIX=/usr MIDI=/usr/bin/timidity INSTALL=1 BINARY_DIR=games DATA_DIR=share/games/openttd PERSONAL_DIR=.openttd USE_HOMEDIR=1
    42 
    39 
    43 	#/usr/bin/docbook-to-man debian/openttd.sgml > openttd.1
    40 	#/usr/bin/docbook-to-man debian/openttd.sgml > openttd.1
    44 
    41 
    45 	touch build-stamp
    42 	touch build-stamp
    46 
    43