opengl - How to get gloss to not close ghci? -


gloss nice library graphics. problem, is, when run in ghci, closes ghci exit. tried using forkio, still closes ghci after closing window. how gloss not close ghci (or @ least keep history) or better use file?

as web site suggests (http://gloss.ouroborus.net/)

a2: try installing gloss use glfw window manager  interface instead of glut: cabal install gloss --flags="glfw -glut"

i work ghc-7.6.3 (after pressing esc in window, i'm ghci)

but cannot compile ghc-7.8.4 (because cabal complains)

next goal: glfw-b (dependency of gloss-1.9.2.1:+glfw) rejecting: glfw-b-1.4.7.2, 1.4.7.1, 1.4.7, 1.4.6, 1.4.5, 1.4.4, 1.4.3, 1.4.2, 1.4.1, 1.4, 1.3, 1.2.1, 1.2.0, 1.1.0, 1.0.2, 1.0.1, 1.0.0, 0.1.0.5, 0.1.0.4, 0.1.0.3, 0.1.0.2, 0.1.0.1, 0.1.0.0, 0.0.2.10, 0.0.2.9, 0.0.2.8, 0.0.2.7, 0.0.2.6, 0.0.2.5, 0.0.2.4, 0.0.2.3, 0.0.2.2, 0.0.2.1, 0.0.2, 0.0.1 (conflict: gloss-1.9.2.1:glfw => glfw-b>=0.1.4.1 && <0.2)

Comments

Post a Comment

Popular posts from this blog

javascript - AngularJS custom datepicker directive -

i make custom datepicker directive custom template. but have no idea how start building it... how include date data directive? i appreciate guide or give me advice work on more precisely. it might you! follow below steps html code sample: <label>birth date</label> <input type="text" ng-model="birthdate" date-options="dateoptions" custom-datepicker/> <hr/> <pre>birthdate = {{birthdate}}</pre> <script type="text/ng-template" id="custom-datepicker.html"> <div class="enhanced-datepicker"> <div class="proxied-field-wrap"> <input type="text" ui-date-format="yy-mm-dd" ng-model="ngmodel" ui-date="dateoptions"/> </div> <label> <button class="btn" type="button"><i class="icon-calendar"></i>
Read more

javascript - jQuery date picker - Disable dates after the selection from the first date picker -

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>jquery ui datepicker - default functionality</title> <link rel="stylesheet" href="//code.jquery.com/ui/1.11.4/themes/smoothness/jquery-ui.css"> <script src="//code.jquery.com/jquery-1.10.2.js"></script> <script src="//code.jquery.com/ui/1.11.4/jquery-ui.js"></script> <link rel="stylesheet" href="/resources/demos/style.css"> <script> $(function () { $("#datepicker1").datepicker(); }); </script> <script> $(function () { $("#datepicker2").datepicker(); }); </script> </head> <body> <p>date 1: <input type="text" id="datepicker1"></p> <p>date 2: <input type="t
Read more