Ticket #39147: py27-game_MIDI-case.patch

File py27-game_MIDI-case.patch, 1.2 KB (added by cr@…, 11 years ago)

  • Portfile 

    diff -Naur py27-game.orig/Portfile py27-game/Portfile
    old new  
    5252    variant portmidi description {Enable MIDI support using portmidi (experimental)} {
    5353        depends_lib-append port:portmidi
    5454        patchfiles-delete patch-disable_portmidi.diff
     55        patchfiles-append patch-MIDI-case.diff
    5556    }
    5657
    5758    if {${python.version} >= 30} {

  • files/patch-MIDI-case.diff 

    diff -Naur py27-game.orig/files/patch-MIDI-case.diff py27-game/files/patch-MIDI-case.diff
    old new  
     1--- config_darwin.py.orig       2013-05-19 01:32:22.000000000 +0200
     2+++ config_darwin.py    2013-05-19 01:32:51.000000000 +0200
     3@@ -95,7 +95,7 @@
     4     Dependency('JPEG', 'jpeglib.h', 'libjpeg', ['jpeg']),
     5     Dependency('SCRAP', '','',[]),
     6     Dependency('PORTMIDI', 'portmidi.h', 'libportmidi', ['portmidi']),
     7-    FrameworkDependency('PORTTIME', 'CoreMidi.h', 'CoreMidi', 'CoreMidi'),
     8+    FrameworkDependency('PORTTIME', 'CoreMIDI.h', 'CoreMIDI', 'CoreMIDI'),
     9 ]
     10 
     11