• Join/Login
  • Business Software
  • Open Source Software
  • For Vendors
  • Blog
  • About
  • More
    • Articles
    • Create
    • SourceForge Podcast
    • Site Documentation
    • Subscribe to our Newsletter
    • Support Request
SourceForge logo
For Vendors Help Create Join Login
SourceForge logo
Business Software
Open Source Software
SourceForge Podcast
Resources
  • Articles
  • Case Studies
  • Blog
Menu
  • Help
  • Create
  • Join
  • Login
  • Home
  • Browse
  • Jungerl: A jungle of Erlang code
  • Patches

config.h not found

Brought to you by: antifuchs, asergey, bersa, bfulgham, and 37 others
  • Summary
  • Reviews
  • Support
  • Mailing Lists
  • Tickets ▾
    • Bugs
    • Patches
    • Feature Requests
  • Discussion
  • Code
Menu ▾ ▴
  • Create Ticket
  • View Stats

Group

Searches

  • Changes
  • Closed Tickets
  • Open Tickets

Help

  • Formatting Help

#4 config.h not found

open
nobody
None
5
2007-03-06
2007-03-06
Mikael Magnusson
No

The headerfile config.h if not found by erl_driver.h.

make[1]: Entering directory `/var/local/tmp/cvs/jungerl/lib/unixdom_drv/c_src'
gcc -g -O2 -DHAVE_CONFIG_H -I/usr/lib/erlang/usr/include -I. -o unixdom_drv.o -c -fpic unixdom_drv.c
In file included from unixdom_drv.c:43:
/usr/lib/erlang/usr/include/erl_driver.h:27:22: error: config.h: No such file or directory
make[1]: *** [unixdom_drv.o] Error 1
make[1]: Leaving directory `/var/local/tmp/cvs/jungerl/lib/unixdom_drv/c_src'

Discussion

  • Mikael Magnusson

    Mikael Magnusson - 2007-03-06
     
    jungerl_config_h.patch
    If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
SourceForge
  • Create a Project
  • Open Source Software
  • Business Software
  • Top Downloaded Projects
Company
  • About
  • Team
  • SourceForge Headquarters
    1320 Columbia Street Suite 310
    San Diego, CA 92101
    +1 (858) 422-6466
Resources
  • Support
  • Site Documentation
  • Site Status
  • SourceForge Reviews
SourceForge logo
© 2026 Slashdot Media. All Rights Reserved.
Terms Privacy Opt Out Advertise
MongoDB Logo MongoDB