Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
kill the portable header
authorMartin Quinson <martin.quinson@loria.fr>
Wed, 9 Mar 2016 20:52:55 +0000 (21:52 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Wed, 9 Mar 2016 21:32:32 +0000 (22:32 +0100)
commit0dcda218187c4874a539a6887b132ed5e6cc77dd
tree787cce48a305dba9180dc6862b0462ca9d87b4d2
parent4878918bf1f53c2d6ffb7f8a5f317a8be0a8aa2e
kill the portable header

such centralized header is not a good idea, as it tend to the
inflation of header inclusions. I prefer having each file specifying
precisely which header they need.
19 files changed:
src/include/surf/maxmin.h
src/include/surf/surf.h
src/portable.h [deleted file]
src/simix/ThreadContext.cpp
src/simix/smx_context.cpp
src/simix/smx_global.cpp
src/surf/surf_interface.cpp
src/xbt/cunit.c
src/xbt/dict.c
src/xbt/ex.c
src/xbt/log.c
src/xbt/mmalloc/mmprivate.h
src/xbt/xbt_log_layout_format.c
src/xbt/xbt_log_layout_simple.c
src/xbt/xbt_main.c
src/xbt/xbt_os_file.c
src/xbt/xbt_os_thread.c
src/xbt/xbt_str.c
tools/cmake/DefinePackages.cmake