From c47199e31cc07740f9189b4f5a700cfb5034bce3 Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Tue, 10 Mar 2020 02:21:51 -0700
Subject: [PATCH] [sledge] Simplify build for models

Reviewed By: jvillard

Differential Revision: D20322878

fbshipit-source-id: 1e5b06d6b
---
 sledge/.gitignore              |  1 -
 sledge/model/{dune.in => dune} | 24 +++++-------------------
 2 files changed, 5 insertions(+), 20 deletions(-)
 rename sledge/model/{dune.in => dune} (51%)

diff --git a/sledge/.gitignore b/sledge/.gitignore
index 5e35f4ea6..6c3a91c5c 100644
--- a/sledge/.gitignore
+++ b/sledge/.gitignore
@@ -5,7 +5,6 @@
 /lib/dune
 /lib/import/dune
 /llvm/
-/model/dune
 /test/*/*.bc
 /test/*/*.bc.err
 /test/*/*.bc.out
diff --git a/sledge/model/dune.in b/sledge/model/dune
similarity index 51%
rename from sledge/model/dune.in
rename to sledge/model/dune
index f33b39a28..fb154b89d 100644
--- a/sledge/model/dune.in
+++ b/sledge/model/dune
@@ -1,17 +1,8 @@
-(* -*- tuareg -*- *)
-(*
- * Copyright (c) Facebook, Inc. and its affiliates.
- *
- * This source code is licensed under the MIT license found in the
- * LICENSE file in the root directory of this source tree.
- *)
+; Copyright (c) Facebook, Inc. and its affiliates.
+;
+; This source code is licensed under the MIT license found in the
+; LICENSE file in the root directory of this source tree.
 
-let deps = []
-
-;;
-Jbuild_plugin.V1.send
-@@ Format.sprintf
-     {|
 (rule
  (targets cxxabi.bc)
  (deps cxxabi.cpp Makefile llair_intrinsics.h)
@@ -29,9 +20,4 @@ Jbuild_plugin.V1.send
 
 (library
  (name model)
- (public_name sledge.model)
- (libraries %s)
- %s)
-|}
-     (libraries deps)
-     (flags `lib deps)
+ (public_name sledge.model))