From 614d4f2efc28c43f18ad30c306b81a8d5b75c1af Mon Sep 17 00:00:00 2001
From: dbalatoni13 <40299962+dbalatoni13@users.noreply.github.com>
Date: Tue, 1 Apr 2025 01:15:16 +0200
Subject: [PATCH] Add new options to rel make (#94)

---
 src/cmd/rel.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/cmd/rel.rs b/src/cmd/rel.rs
index 8106b86..e7536fc 100644
--- a/src/cmd/rel.rs
+++ b/src/cmd/rel.rs
@@ -104,6 +104,9 @@ pub struct MakeArgs {
     #[argp(option, short = 'n')]
     /// (optional) module names
     names: Vec<String>,
+    #[argp(option, short = 'v')]
+    /// (optional) REL version (default is 3)
+    version: Option<u32>,
     #[argp(switch, short = 'w')]
     /// disable warnings
     no_warn: bool,
@@ -364,7 +367,7 @@ fn make(args: MakeArgs) -> Result<()> {
         let _span = info_span!("file", path = %module_info.path).entered();
         let mut info = RelWriteInfo {
             module_id: module_info.module_id,
-            version: 3,
+            version: args.version.unwrap_or(3),
             name_offset: None,
             name_size: None,
             align: None,