-// <root>/buildtools/Cmake/internal_config.h.in is user-written.
-// With Cmake it creates <root>/src/internal_config.h
+/* internal_config.h -- characteristics of the platform, as probed by Cmake */
+
+/* This file is AUTOMATICALLY GENERATED by Cmake. Edit the following
+ template instead buildtools/Cmake/src/internal_config.h.in */
+
+/* Copyright (c) 2004-2014. The SimGrid Team.
+ * All rights reserved. */
+
+/* This program is free software; you can redistribute it and/or modify it
+ * under the terms of the license (GNU LGPL) which comes with this package. */