{ "_class" : "hudson.model.FreeStyleBuild", "actions" : [ { "_class" : "hudson.model.CauseAction", "causes" : [ { "_class" : "com.cloudbees.jenkins.GitHubPushCause", "shortDescription" : "Started by GitHub push by dra27" } ] }, { }, { }, { "_class" : "hudson.plugins.git.util.BuildData", "buildsByBranchName" : { "origin/trunk" : { "_class" : "hudson.plugins.git.util.Build", "buildNumber" : 79, "buildResult" : None, "marked" : { "SHA1" : "f5006025d68a5e6d6f365b2d786b080e989a13af", "branch" : [ { "SHA1" : "f5006025d68a5e6d6f365b2d786b080e989a13af", "name" : "origin/trunk" } ] }, "revision" : { "SHA1" : "f5006025d68a5e6d6f365b2d786b080e989a13af", "branch" : [ { "SHA1" : "f5006025d68a5e6d6f365b2d786b080e989a13af", "name" : "origin/trunk" } ] } } }, "lastBuiltRevision" : { "SHA1" : "f5006025d68a5e6d6f365b2d786b080e989a13af", "branch" : [ { "SHA1" : "f5006025d68a5e6d6f365b2d786b080e989a13af", "name" : "origin/trunk" } ] }, "remoteUrls" : [ "https://github.com/ocaml/ocaml" ], "scmName" : "" }, { "_class" : "hudson.plugins.git.GitTagAction" }, { }, { }, { }, { "_class" : "org.jenkinsci.plugins.displayurlapi.actions.RunDisplayAction" } ], "artifacts" : [ ], "building" : False, "description" : None, "displayName" : "#79", "duration" : 2388765, "estimatedDuration" : 2534434, "executor" : None, "fullDisplayName" : "Risc-V-legacy #79", "id" : "79", "inProgress" : False, "keepLog" : False, "number" : 79, "queueId" : 46338, "result" : "SUCCESS", "timestamp" : 1588778993213, "url" : "https://ci.inria.fr/ocaml/view/all/job/Risc-V-legacy/79/", "builtOn" : "olive", "changeSet" : { "_class" : "hudson.plugins.git.GitChangeSetList", "items" : [ { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "otherlibs/Makefile", "yacc/Makefile", "Makefile", "otherlibs/systhreads/Makefile", "lex/Makefile", "stdlib/Makefile", "ocamltest/Makefile", "tools/Makefile", "ocamldoc/Makefile", "debugger/Makefile", "otherlibs/dynlink/Makefile", "runtime/Makefile", "Makefile.common", "otherlibs/Makefile.otherlibs.common" ], "commitId" : "fab58a938a61c62bb66ed70ce2563e1657d9f53b", "timestamp" : 1588759802000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "makefiles: move the inclusion of Makefile.build_config in Makefile.common\u000a", "date" : "2020-05-06 12:10:02 +0200", "id" : "fab58a938a61c62bb66ed70ce2563e1657d9f53b", "msg" : "makefiles: move the inclusion of Makefile.build_config in Makefile.common", "paths" : [ { "editType" : "edit", "file" : "Makefile.common" }, { "editType" : "edit", "file" : "Makefile" }, { "editType" : "edit", "file" : "stdlib/Makefile" }, { "editType" : "edit", "file" : "otherlibs/Makefile" }, { "editType" : "edit", "file" : "ocamltest/Makefile" }, { "editType" : "edit", "file" : "otherlibs/Makefile.otherlibs.common" }, { "editType" : "edit", "file" : "yacc/Makefile" }, { "editType" : "edit", "file" : "otherlibs/dynlink/Makefile" }, { "editType" : "edit", "file" : "tools/Makefile" }, { "editType" : "edit", "file" : "otherlibs/systhreads/Makefile" }, { "editType" : "edit", "file" : "debugger/Makefile" }, { "editType" : "edit", "file" : "ocamldoc/Makefile" }, { "editType" : "edit", "file" : "runtime/Makefile" }, { "editType" : "edit", "file" : "lex/Makefile" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Makefile", "Makefile.common" ], "commitId" : "472a20d735f841e3ab3191376f597b6d14fcfb57", "timestamp" : 1588759802000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "[minor] rename CAN_BE_UNCONFIGURED into REQUIRES_CONFIGURATION\u000a", "date" : "2020-05-06 12:10:02 +0200", "id" : "472a20d735f841e3ab3191376f597b6d14fcfb57", "msg" : "[minor] rename CAN_BE_UNCONFIGURED into REQUIRES_CONFIGURATION", "paths" : [ { "editType" : "edit", "file" : "Makefile.common" }, { "editType" : "edit", "file" : "Makefile" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Makefile.common" ], "commitId" : "21f5ad3b4a873a73703fab881ace5cbddd8f85e2", "timestamp" : 1588759802000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "build system: skip Makefile.build_config when REQUIRES_CONFIGURATION is empty\u000a\u000aBefore we would include it if present, but support building without\u000ait. Unless I misunderstand something, this is unnecessarily complex:\u000a\u000a- If we want to support building without it, we may as well\u000a do without it all the time (in particular it makes it easier\u000a to spot bugs which occurs when it is missing).\u000a\u000a- Certain makefile rules (see config.status) work by being added\u000a as dependencies to Makefile.build_config, and requiring this file\u000a only when actually needed makes it possible to simplify those.\u000a (simplifications not included in this commit)\u000a\u000aI reviewed all 'clean' rules to check that they do not depend on\u000avariables defined in the configure. On the other hand, the main\u000amakefiles do a lot of conditional tests on those variables,\u000aso --warn-undefined-variables warns quite a bit. (This could be solved\u000aby a Makefile.no_config rule that mirrors Makefile.config with dummy\u000adefinitions.)\u000a", "date" : "2020-05-06 12:10:02 +0200", "id" : "21f5ad3b4a873a73703fab881ace5cbddd8f85e2", "msg" : "build system: skip Makefile.build_config when REQUIRES_CONFIGURATION is empty", "paths" : [ { "editType" : "edit", "file" : "Makefile.common" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Makefile" ], "commitId" : "8d716a1712013308bd249a885075af584ea5fecf", "timestamp" : 1588759802000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "Makefile: no need for REQUIRES_CONFIGURATION check on config.status\u000a\u000aNow that Makefile.build_config is only included when configuration is\u000arequired, we can remove the REQUIRES_CONFIGURATION logic here.\u000a", "date" : "2020-05-06 12:10:02 +0200", "id" : "8d716a1712013308bd249a885075af584ea5fecf", "msg" : "Makefile: no need for REQUIRES_CONFIGURATION check on config.status", "paths" : [ { "editType" : "edit", "file" : "Makefile" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Makefile.config_if_required", "Makefile.tools", "Makefile.common" ], "commitId" : "e34e62253f82cfe07b3c8c040896b5e1bd2d77d8", "timestamp" : 1588759802000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "move the REQUIRES_CONFIGURATION logic in Makefile.config_if_required\u000a\u000aThis lets us share the logic between Makefile.common and Makefile.tools.\u000a", "date" : "2020-05-06 12:10:02 +0200", "id" : "e34e62253f82cfe07b3c8c040896b5e1bd2d77d8", "msg" : "move the REQUIRES_CONFIGURATION logic in Makefile.config_if_required", "paths" : [ { "editType" : "edit", "file" : "Makefile.tools" }, { "editType" : "edit", "file" : "Makefile.common" }, { "editType" : "add", "file" : "Makefile.config_if_required" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Makefile.config_if_required" ], "commitId" : "3489e002c66325de1c32798d9d4f954532c2473b", "timestamp" : 1588759802000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "refactor Makefile.config_if_required for easier reuse of variables\u000a", "date" : "2020-05-06 12:10:02 +0200", "id" : "3489e002c66325de1c32798d9d4f954532c2473b", "msg" : "refactor Makefile.config_if_required for easier reuse of variables", "paths" : [ { "editType" : "edit", "file" : "Makefile.config_if_required" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "ocamltest/Makefile" ], "commitId" : "11c9d92732bfa731852fcbb42ec46d52887595ed", "timestamp" : 1588759802000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "ocamltest/Makefile: do not depend on UNIX_OR_WIN32 for 'clean'\u000a\u000aChange suggested by David Allsopp.\u000a", "date" : "2020-05-06 12:10:02 +0200", "id" : "11c9d92732bfa731852fcbb42ec46d52887595ed", "msg" : "ocamltest/Makefile: do not depend on UNIX_OR_WIN32 for 'clean'", "paths" : [ { "editType" : "edit", "file" : "ocamltest/Makefile" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Makefile", "compilerlibs/Makefile.compilerlibs" ], "commitId" : "67f6128ebde6d5401fe87a6c4607242ca8e2b207", "timestamp" : 1588759802000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "[minor] Makefile: move ARCH_SPECIFIC back to the main Makefile\u000a\u000a(This is a small, independent readability fix.)\u000a\u000aARCH_SPECIFIC was moved into Makefile.compilerlibs by mistake; it is\u000anot used in Makefile.compilerlibs (in particular the\u000aARCH_SPECIFIC_ASMCOMP_* variables do not depend on it), and it is used\u000ain the main Makefile.\u000a", "date" : "2020-05-06 12:10:02 +0200", "id" : "67f6128ebde6d5401fe87a6c4607242ca8e2b207", "msg" : "[minor] Makefile: move ARCH_SPECIFIC back to the main Makefile", "paths" : [ { "editType" : "edit", "file" : "Makefile" }, { "editType" : "edit", "file" : "compilerlibs/Makefile.compilerlibs" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "stdlib/Makefile" ], "commitId" : "fd789b5ceca42bece4b92049c7a4238d301bba09", "timestamp" : 1588759802000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "[minor] stdlib/Makefile: remove redundant clean action\u000a\u000aThere is already a more precise\u000a\u000a clean::\u000a rm -f $(CAMLHEADERS)\u000a\u000arule above.\u000a\u000a(Change suggested by David Allsopp.)\u000a", "date" : "2020-05-06 12:10:02 +0200", "id" : "fd789b5ceca42bece4b92049c7a4238d301bba09", "msg" : "[minor] stdlib/Makefile: remove redundant clean action", "paths" : [ { "editType" : "edit", "file" : "stdlib/Makefile" } ] }, { "_class" : "hudson.plugins.git.GitChangeSet", "affectedPaths" : [ "Changes" ], "commitId" : "ffbea08d02a47a97ae558f5c2af9f5fd0587d202", "timestamp" : 1588759802000, "author" : { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" }, "authorEmail" : "gabriel.scherer@gmail.com", "comment" : "Changes entry\u000a", "date" : "2020-05-06 12:10:02 +0200", "id" : "ffbea08d02a47a97ae558f5c2af9f5fd0587d202", "msg" : "Changes entry", "paths" : [ { "editType" : "edit", "file" : "Changes" } ] } ], "kind" : "git" }, "culprits" : [ { "absoluteUrl" : "https://ci.inria.fr/ocaml/user/gabriel.scherer", "fullName" : "gabriel.scherer" } ] }