[SERVER-46096] Add a NINJA_PREFIX option for the generate-ninja target Created: 12/Feb/20  Updated: 29/Oct/23  Resolved: 24/Feb/20

Status: Closed
Project: Core Server
Component/s: Build
Affects Version/s: None
Fix Version/s: 4.3.4

Type: Improvement Priority: Major - P3
Reporter: Daniel Gottlieb (Inactive) Assignee: Mathew Robinson (Inactive)
Resolution: Fixed Votes: 0
Labels: None
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Backwards Compatibility: Fully Compatible
Sprint: Dev Platform 2020-02-24
Participants:

 Description   

Adding a NINJA_PREFIX scons option would add more flexibility to the ninja filename that scons generates.

The default value would be build. I believe the intention is that the following combinations would generate the following files:

  • NINJA_PREFIX=optimized -> optimized.ninja
  • NINJA_SUFFIX=optimized -> build.ninja.optimized
  • NINJA_PREFIX=prefix NINJA_SUFFIX=suffix -> prefix.ninja.suffix (I personally have no use case for this, just my understanding)

Side note: I believe the Generating: build.ninja line output near the end of the generate-ninja target does not currently factor in the suffix.



 Comments   
Comment by Githook User [ 21/Feb/20 ]

Author:

{'name': 'Mathew Robinson', 'username': 'chasinglogic', 'email': 'mathew@chasinglogic.io'}

Message: SERVER-46096 Add NINJA_PREFIX
Branch: master
https://github.com/mongodb/mongo/commit/9791eb19d2945a7b60ca0099dc1330c260be78c3

Generated at Thu Feb 08 05:10:29 UTC 2024 using Jira 9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66.