[01:25:03] *** Quits: Gurkenglas (Gurkenglas@dslb-188-106-113-006.188.106.pools.vodafone-ip.de) (Ping timeout: 240 seconds) [02:36:22] *** Quits: koo7 (~kook@210.14.broadband15.iol.cz) (Remote host closed the connection) [03:55:44] *** Joins: drbean (~drbean@124.219.83.41) [06:33:14] *** Quits: drbean (~drbean@124.219.83.41) (Quit: ZNC - http://znc.in) [09:57:56] *** Joins: Gurkenglas (Gurkenglas@dslb-188-106-113-006.188.106.pools.vodafone-ip.de) [10:55:57] *** Joins: koo7 (~kook@210.14.broadband15.iol.cz) [11:03:30] *** Joins: BobL (c3c60195@gateway/web/freenode/ip.195.198.1.149) [11:41:15] *** Joins: Flammie_ (~flammie@NTB-017.multilingua.uni-hamburg.de) [11:42:18] *** Joins: daherb_ (~daherb@c83-248-103-51.bredband.comhem.se) [11:47:03] *** Quits: Gurkenglas (Gurkenglas@dslb-188-106-113-006.188.106.pools.vodafone-ip.de) (Ping timeout: 240 seconds) [11:47:52] *** Quits: daherb (~daherb@c83-248-103-51.bredband.comhem.se) (*.net *.split) [11:47:52] *** Quits: Flammie (~flammie@NTB-017.multilingua.uni-hamburg.de) (*.net *.split) [11:48:52] *** Flammie_ is now known as Flammie [11:51:08] *** Quits: BobL (c3c60195@gateway/web/freenode/ip.195.198.1.149) (Ping timeout: 250 seconds) [11:54:31] *** Joins: Gurkenglas (Gurkenglas@dslb-188-106-113-006.188.106.pools.vodafone-ip.de) [12:04:10] *** Joins: BobL (c3c60195@gateway/web/freenode/ip.195.198.1.149) [12:07:27] *** Quits: BobL (c3c60195@gateway/web/freenode/ip.195.198.1.149) (Client Quit) [12:15:50] *** Quits: Gurkenglas (Gurkenglas@dslb-188-106-113-006.188.106.pools.vodafone-ip.de) (Ping timeout: 244 seconds) [12:38:33] *** Quits: daherb_ (~daherb@c83-248-103-51.bredband.comhem.se) (Ping timeout: 244 seconds) [12:41:28] *** Quits: spectei (~fran@unaffiliated/spectie) (Ping timeout: 268 seconds) [12:44:02] *** Joins: spectre (~fran@188.123.231.41) [13:03:45] *** Quits: Flammie (~flammie@NTB-017.multilingua.uni-hamburg.de) (Quit: office moving) [13:28:30] "The man who is fond of singing this aria killed his father" [13:28:42] not a GF sentence, from a CG paper in 1998 [13:28:47] but it had the spirit ^^ [13:30:46] *** Joins: drbean (~drbean@124.219.83.41) [13:35:52] *** Quits: GLaDER (~GLaDER@gladernet.csbnet.se) (Ping timeout: 264 seconds) [13:37:04] *** Quits: koo7 (~kook@210.14.broadband15.iol.cz) (Ping timeout: 264 seconds) [13:38:46] *** Joins: GLaDER (~GLaDER@gladernet.csbnet.se) [13:47:59] *** Joins: Flammie (~flammie@NTB-017.multilingua.uni-hamburg.de) [13:50:00] *** Joins: koo7 (~kook@210.14.broadband15.iol.cz) [13:55:06] *** Joins: daherb (~daherb@c83-248-103-51.bredband.comhem.se) [14:33:35] *** Joins: Beneri (8110baf1@gateway/web/freenode/ip.129.16.186.241) [14:36:02] Hello! I'm trying to compile GF but I get the following error: setup: At least the following dependencies are missing: haskeline -any, terminfo >=0.4 [14:49:24] hey! [14:49:32] do you have cabal? [14:50:07] if yes then just type "cabal install haskeline" and "cabal install terminfo" [15:07:38] Thank you! Sadly both of them gets [15:07:45] gives* me errors [15:08:15] configure: error: in `/tmp/terminfo-0.4.0.2-7754/terminfo-0.4.0.2': configure: error: curses headers could not be found, so this package cannot be built See `config.log' for more details Failed to install terminfo-0.4.0.2 cabal: Error: some packages failed to install: haskeline-0.7.2.2 depends on terminfo-0.4.0.2 which failed to install. terminfo-0.4.0.2 failed during the configure step. The exception was: ExitFailure 1 [15:11:27] alright, so you have to find those curses headers and find a right place to put them on your computer [15:11:33] which operating system you have? [15:12:14] Linux Mint 17.1 [15:12:21] alright, try sudo apt-get install libncurses5-dev [15:13:30] Worked, and now haskline seems to work too! [15:13:34] yay! [15:14:10] are you from the GF course or just happened to come here now? :) [15:14:24] there is a course on GF at the university of gothenburg, and we just had a lab session yesterday [15:15:39] No I'm from Chalmers actually. We might use it in our bachelor project. [15:15:44] aha right [15:15:54] I'm TAing the GU course [15:16:20] if you get stuck, or just want to hang out with other people using GF, you're welcome to the lab sessions on tuesdays 13-15 ^^ it's at humanisten [15:16:30] the course is really small, around 10 students, so there is lots of space [15:17:38] Haha sounds good! We'll probably need some help. [15:17:59] Which gf-file should I use for swedish? [15:18:54] In GF/lib/src/swedish [15:26:10] *** Quits: Beneri (8110baf1@gateway/web/freenode/ip.129.16.186.241) (Quit: Page closed) [15:42:53] *** Joins: drbean_ (~drbean@124.219.83.41) [15:43:21] *** Quits: spectre (~fran@188.123.231.41) (Read error: Connection reset by peer) [15:43:40] *** Quits: drbean (~drbean@124.219.83.41) (*.net *.split) [15:49:04] *** Quits: drbean_ (~drbean@124.219.83.41) (Quit: ZNC - http://znc.in) [15:50:18] *** Joins: annaaerinteenbot (~annaaerin@c83-248-103-51.bredband.comhem.se) [15:53:35] *** Joins: Gurkenglas (~Gurkengla@dslb-188-106-113-006.188.106.pools.vodafone-ip.de) [16:36:27] *** Quits: annaaerinteenbot (~annaaerin@c83-248-103-51.bredband.comhem.se) (Ping timeout: 264 seconds) [16:36:40] *** Joins: annaaerinteenbot (~annaaerin@c83-248-103-51.bredband.comhem.se) [16:52:23] *** Joins: spectre (~fran@188.123.231.41) [18:49:12] *** Quits: koo7 (~kook@210.14.broadband15.iol.cz) (Ping timeout: 260 seconds) [20:39:16] *** Quits: daherb (~daherb@c83-248-103-51.bredband.comhem.se) (Ping timeout: 252 seconds) [20:39:18] *** Quits: esg (~emil@esg.xen.prgmr.com) (Ping timeout: 252 seconds) [20:39:18] *** Quits: ppnkk (~pepijn@ksit.fixme.fi) (Ping timeout: 252 seconds) [20:39:25] *** Joins: esg (~emil@esg.xen.prgmr.com) [20:39:50] *** Quits: vin-ivar (~vinit-iva@unaffiliated/vin-ivar) (Ping timeout: 252 seconds) [20:41:10] *** Joins: ppnkk (~pepijn@ksit.fixme.fi) [20:46:39] *** Joins: daherb (~daherb@c83-248-103-51.bredband.comhem.se) [21:11:58] *** Quits: Gurkenglas (~Gurkengla@dslb-188-106-113-006.188.106.pools.vodafone-ip.de) (Ping timeout: 248 seconds) [21:17:20] *** Joins: vin-ivar (~vinit-iva@unaffiliated/vin-ivar) [21:48:23] *** Quits: daherb (~daherb@c83-248-103-51.bredband.comhem.se) (*.net *.split) [21:48:24] *** Quits: annaaerinteenbot (~annaaerin@c83-248-103-51.bredband.comhem.se) (*.net *.split) [21:56:55] *** Joins: daherb (~daherb@c83-248-103-51.bredband.comhem.se) [21:56:55] *** Joins: annaaerinteenbot (~annaaerin@c83-248-103-51.bredband.comhem.se) [22:04:32] *** Quits: daherb (~daherb@c83-248-103-51.bredband.comhem.se) (*.net *.split) [22:04:32] *** Quits: annaaerinteenbot (~annaaerin@c83-248-103-51.bredband.comhem.se) (*.net *.split) [22:09:40] *** Joins: daherb (~daherb@c83-248-103-51.bredband.comhem.se) [22:09:40] *** Joins: annaaerinteenbot (~annaaerin@c83-248-103-51.bredband.comhem.se) [22:14:03] *** Quits: annaaerinteenbot (~annaaerin@c83-248-103-51.bredband.comhem.se) (Ping timeout: 240 seconds) [22:14:18] *** Joins: annaaerinteenbot (~annaaerin@c83-248-103-51.bredband.comhem.se) [22:15:04] *** Quits: daherb (~daherb@c83-248-103-51.bredband.comhem.se) (Ping timeout: 240 seconds) [22:17:18] *** Joins: daherb (~daherb@c83-248-103-51.bredband.comhem.se) [22:45:38] *** Joins: vin-ivar_ (~vinit-iva@unaffiliated/vin-ivar) [22:47:07] *** Quits: vin-ivar (~vinit-iva@unaffiliated/vin-ivar) (*.net *.split) [22:47:23] *** vin-ivar_ is now known as vin-ivar [23:41:52] *** Quits: annaaerinteenbot (~annaaerin@c83-248-103-51.bredband.comhem.se) (Ping timeout: 264 seconds) [23:48:26] *** Joins: annaaerinteenbot (~annaaerin@c83-248-103-51.bredband.comhem.se)